Проблемы разрешимости и конструктивные модели
Логика. Учебник средней школы
Арифметические и логические основы цифровых автоматов
Методы вычислений
Наука о ландшафте (Основы теории и логико-математические методы)
Логические задачи из Зазеркалья
Думай как математик: Как решать любые задачи быстрее и эффективнее
Логики Лукасевича и простые числа
Алгебра и начала математического анализа 10-11 Классы
Математика для подготовительных курсов техникумов
Курс математики для техникумов Ч.1
курс математики для техникумов Ч.2
Математический анализ
Увлекательная книга о математике
Задачи и упражнения по логике
Элементы математической логики
