Математическая логика
Теория алгорифмов
Библиотечка Квант 73. Логическая игра
Алгоритмы и рекурсивные функции
Основания математики. Том 2
Основания математики. Том 3
Сборник задач по теории алгоритмов
Основания математики. Том 1
Сибирская школа алгебры и логики. Определимость и вычислимость
Занимательные логические задачи
Мир знаний. Дифференциалы помогают геометрии
Современная теория множеств. Начала дескриптивной динамики.
Что такое нестандартный анализ
Гёдель, Эшер, Бах: эта бесконечная гирлянда.
Канторовская теория множеств
