01339nam a22003132i 4500 0 4 udc 0 0 CPL CPL GEN 2018-05-10 0 2018-26746 2018-05-10 00:00:00 2R304727 2018-05-10 BK 191014 191012 006401473 ELAR 20180510163624.0 121029s1967 ru ||||| |||||||| ||rus d (RuMoELAR)1946-68-795471 RuMoRGB rus ELAR rcr rus ru Математическая теория логического вывода : [Текст] : Сборник переводов / Под ред. А. В. Идельсона и Г. Е. Минца . Москва : Наука, 1967 . 351 с. 22 см Математическая логика и основания математики Библиогр. в конце статей Математическая логика - Сборники RKP მათემატიკური ლოგიკა Идельсон, Александр Васильевич რედაქტორი Минц, Г. Е. რედაქტორი udc BK