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

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