Субботин А.Л. Традиционная и современная формальная логика

Москва: Наука, 1969. — 160 с.В книге излагаются различные реконструкции традиционной формальной логики. Автор показывает, как эта логика может быть представлена с помощью алгебраической полуструктуры, а также излагает силлогистику в виде формальной аксиоматической системы и системы натурального вывода.Предисловие
Некоторые философско-методологические вопросы
Силлогистика и математическая логика
Силлогистика и математическая логика (продолжение)
Алгебраическая теория традиционной формальной логики
Заключение
Литература