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