Логика и философия математики. Избранное
Математика и логика цифровых устройств
Математическая логика: Учебное пособие
Расчеты пиропроцессов и печей цветной металлургии
Математические софизмы: Правдоподобные рассуждения, приводящие к ошибочным утверждениям: Книга для учащихся 7-11 классов
Алгебра логики
Математическая логика
Алгебра логики в задачах
Математическая логика и автоматическое доказательство теорем
Принцип Дирихле. Задачи с указаниями и решениями
А ну-ка догадайся!
Занимательная математика. Гимнастика для ума или искусство удивлять
Математическая логика и теория алгоритмов
Топосы. Категорный анализ логики
Теория алгорифмов
