Теория логического вывода

Сборник содержит основные труды выдающегося отечест­венного логика профессора В.А.Смирнова по теории логического выво­да, в том числе основополагающую монографию «Формаль­ный вывод и логические исчисления». Книга предназначена для логиков, философов и всех интересующихся проблемами логической науки.
Издание сборника осуществлено при поддержке Российского фонда фундаментальных исследований, проект № 99-06-87071
Москва РОССПЭН 1999 г.