Классическая дедуктивная логика. Часть 2

Лекция 1. Исчисление с конечным числом аксиом и с правилом подстановки

Лекция 2. Натуральное исчисление высказываний

Лекция 3. Эвристические соображения