Учебное пособие. — Москва: Высшая школа, 1985. — 256 с.
Проблемы традиционной и современной формальной логики органично переплетены и связаны, что делает пособие интересным с методическо-дидактической точки зрения. Она состоит из четырех глав:
Логика, мышление, язык.
Логика высказываний.
Логика предикатов.
Основные понятия теории определения и теории редуктивных умозаключений.