Книга Задачи и упражнения по математической логике и теории алгоритмов ...