Введение в математическую логику
Математическая логика и теория множеств. (О соотношении абстрактного и конкретного)
Что такое математическая логика
Элементы теории множеств и математической логики в школьном курсе математики. Пособие для учителей
Математическая логика. Дополнительные главы
Доказательства и опровержения
Практическая логика
Аристотель VS Будда
Аристотель Аналитики первая и вторая
Математическая логика
Логическое программирование. Сборник статей
Многоцветная логика. 175 логических задач
Математическая теория логического вывода