000 00955nam a2200217 u 4500
001 000474047
005 20210603152617.0
008 060209s1947 ||| r ||| 0 rus d
041 1 _arus
_hger
100 1 _aГильберт, Д.
245 1 0 _aОсновы теоретической логики /
_cД. Гильберт, В. Аккерман; Пер. с нем. А.А. Ерофеева; Ред., вступ. ст., коммент. С.А. Яновской.
260 _aМосква :
_bГос. изд-во иностр. лит,
_c1947.
300 _a304 с.
504 _aБиблиогр.: с. 297-298
653 0 _aМатематическая логика
653 0 _aЛогика формальная - Математические методы
700 1 _aАккерман, В.
700 1 _aЕрофеев, А.А.
_eпер.
_4trl
700 1 _aЯновская, С.А.
_eред.
_eавт. предисл.
_4edt
_4aui
942 _cBK
_2udc
999 _c46859
_d46859