Сборник содержит основные труды выдающегося отечественного логика профессора В.А.Смирнова по теории логического вывода, в том числе основополагающую монографию "Формальный вывод и логические исчисления".
Книга предназначена для логиков, философов и всех интересующихся проблемами логической науки. Это и многое другое вы найдете в книге Теория логического вывода (В. А. Смирнов)