Книга "Лекции по математической логике и теории алгоритмов. Часть 1 ...