koob.ru

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

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

В приложении имеется полная библиография работ В. А. Смирнова.

Книга предназначена для логиков, философов и всех интересующихся проблемами логической науки.

Добавить отзыв о книге
Авторы сайта
Владимир Никонов & Георгий Ефимов
Библиотека «Куб»
Поддержать проектПодписаться