TY  - SER
AU  - Таванец,П.В.
TI  - Теория логического вывода: сборник статей
PY  - 1973///
CY  - М.
PB  - Наука
ER  -