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