000 01339nam a22003132i 4500
999 _c191014
_d191012
001 006401473
003 ELAR
005 20180510163624.0
008 121029s1967 ru ||||| |||||||| ||rus d
020 _a
035 _a(RuMoELAR)1946-68-795471
040 _aRuMoRGB
_brus
_cELAR
_ercr
041 0 _arus
044 _aru
080 _a
245 0 0 _aМатематическая теория логического вывода :
_h[Текст] :
_bСборник переводов /
_cПод ред. А. В. Идельсона и Г. Е. Минца .
260 _aМосква :
_bНаука,
_c1967 .
300 _a351 с.
_c22 см
490 0 _aМатематическая логика и основания математики
504 _aБиблиогр. в конце статей
650 7 _aМатематическая логика - Сборники
_2RKP
653 _aმათემატიკური ლოგიკა
700 1 _aИдельсон, Александр Васильевич
_eრედაქტორი
700 1 _aМинц, Г. Е.
_eრედაქტორი
942 _2udc
_cBK