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