Математический детектив
Парадоксы теории множеств. (Серия: «Библиотека „Математическое просвещение“»)
Математическая логика
Элементарное введение в функциональные уравнения
Программирование. математическая логика
Алиса в Стране Смекалки
Принцесса или тигр
Теория алгоритмов
Задачи по теории множеств, математической логике и теории алгоритмов
Машина Поста
ТРИЗ. Теория решения изобретательских задач. Уровень 5. Учебник
Числовые ребусы и способы их решения
Текстовые задачи по математике. 7 - 11 классы
Математическая логика и теория алгоритмов
Лекции по математике. Том 06. От Диофанта до Тьюринга