"Лекции о математической логике и теории алгоритмов. Начала теории множеств" - читать интересную книгу автора (Верещагин Н.К.)