000 00787nam a2200193 u 4500
001 000114848
005 20240731090612.0
008 970522s1967 ||||||||||||||||||||rus d
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
999 _c11247
_d11247
041 _arus