TY  - BOOK
AU  - Смирнов, Владимир Александрович
ED  - Ин-т философии
TI  - Формальный вывод и логические исчисления
PY  - 1972///
CY  - Москва
PB  - Наука
KW  - ლოგიკა
ER  -