Новые поступления (книга в стадии обработки) Смирнов, Владимир Александрович. Теория логического вывода [Текст] : научное издание / В. А. Смирнов. - Москва : РОССПЭН, 1999. - 318 с. : портр. - Библиогр. - ISBN 5-8243-0046-1 (в пер.) : 40.00 р.
Рубрики: логика--логика--Россия, 20 в. Кл.слова (ненормированные): логика -- логические системы -- логический вывод -- логические исчисления -- классическая логика -- формальная логика -- персоналии Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |