"Лекции по математической логике и теории алгоритмов. Часть 1" - читать интересную книгу автора (Гордон Е.И.)