TY - BOOK AU - Смирнов,В.А. ED - Институт философии АН СССР TI - Логический вывод PY - 1979/// CY - Москва PB - Наука KW - Логика. Теория познания. Учение о методологии ER -