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