TY  - SER
AU  - Смирнов,В.А.
TI  - Формальный вывод и логические исчисления
PY  - 1972///
CY  - М.
PB  - Наука
KW  - Логика
ER  -