Логика естественных рассуждений
Книга танграм. 1000 + 1 фигура
Действие мощного лазерного излучения
Мир математики. Том 22. Сон разума. Математическая логика и её парадоксы
Теория формальных языков. Вводный курс
Дискретная математика за 1 курс
Теория формальных систем
О математической логике и философии математики (Начальные сведения об основаниях математики)
Математический кенгуру клуб
Логика
Свет мой, зеркальце, скажи
Проблемы разрешимости и конструктивные модели
Методы вычислений
Наука о ландшафте (Основы теории и логико-математические методы)
Логические задачи из Зазеркалья
Думай как математик: Как решать любые задачи быстрее и эффективнее
