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

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