000 00791nam a2200205 u 4500
001 000114848
003 CONS
005 20230315175415.0
008 970522s1967 ||||||||||||||||||||rus d
040 _cAM-YeHGA
245 0 0 _aМатематическая теория логического вывода /
_cСборник пер. под. ред. А.В. Идельсона и Г.Е. Минца.
260 _aМосква :
_bНаука,
_c1967.
300 _a351с.
440 0 _aМатематическая теория и основания математики
504 _aБиблиогр. 13 назв.
650 1 4 _aМатематическая логика
700 1 _aИдельсон, А.В.
_eред.
_4edt
700 1 _aМинц, Г.Е.
_eред.
_4edt
942 _2udc
_cBK
999 _c52391
_d52391