"Задачи и упражнения по математической логике и теории алгоритмов" - читать интересную книгу автора (Игошин В.И.)