Лекции о математической логике и теории алгоритмов. Начала теории множеств