TY  - BOOK
AU  - Идельсон,А.В.
AU  - Минц,Г.Е.
TI  - Математическая теория логического вывода
PY  - 1967///
CY  - Москва
PB  - Наука
KW  - Математическая логика
N1  - Библиогр. 13 назв
ER  -