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