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