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