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