Теория логического вывода
Смирнов Владимир Александрович
Сборник содержит основные труды выдающегося отечественного логика профессора В.А.Смирнова по теории логического вывода, в том числе основополагающую монографию «Формальный вывод и логические исчисления».
Книга предназначена для логиков, философов и всех интересующихся проблемами логической науки.
Издание сборника осуществлено при поддержке Российского фонда фундаментальных исследований, проект № 99-06-87071
Книга предназначена для логиков, философов и всех интересующихся проблемами логической науки.
Издание сборника осуществлено при поддержке Российского фонда фундаментальных исследований, проект № 99-06-87071
Jahr:
1999
Verlag:
РОССПЭН
Sprache:
russian
Seiten:
318
ISBN 10:
5824300461
ISBN 13:
9785824300468
Datei:
PDF, 2.11 MB
IPFS:
,
russian, 1999