TY  - BOOK
AU  - Идельсон,А.В.
AU  - Минц,Г.Е.
TI  - Математическая теория логического вывода: Сборник переводов 
T2  - Математическая логика и основания математики
PY  - 1967///
CY  - Москва
PB  - Наука
KW  - მათემატიკური ლოგიკა
N1  - Библиогр. в конце статей
ER  -