TY  - BOOK
TI  - Логический вывод: Сборник статей
PY  - 1979///
CY  - М.
PB  - Наука
KW  - логика
KW  - вывод-логика
N1  - Библиогр. в конце ст
ER  -