Введение
Часть 1. ОБЩАЯ ТЕОРИЯ ИСЧИСЛЕНИЙ
Часть 2. ИСЧИСЛЕНИЯ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
Часть 3. АВТОМАТИЗАЦИЯ ПОИСКА ЛОГИЧЕСКОГО ВЫВОДА
Часть 4. ИНТУИЦИОНИСТСКИЕ ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ
Часть 5. АКСИОМАТИЧЕСКАЯ СЕМАНТИКА ЯЗЫКОВ ИМПЕРАТИВНОГО ПРОГРАММИРОВАНИЯ
Часть 6. ЭЛЕМЕНТЫ МОДАЛЬНОЙ ЛОГИКИ
Литература
Новые издания по дисциплине «Программирование» и смежным дисциплинам
