Исследования по теории чисел и диофантову анализу. Пер. с фр. и лат. / Изд.стереотип.
Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя
Математическая логика
Математическая логика. Введение в математическую логику. Учебное пособие
Основы математической логики и теории множеств
© 2009-2024, Список Литературы