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