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