000 00802nam a2200265 c 4500
001 000028834
003 RuMoIPM
005 20251126151111.0
008 230210s1973 ru ||||||| |||| ||rus d
035 _abiblionumber
035 _abiblionumber
035 _abiblionumber
040 _aRuMoBEN
_brus
_ercr
041 0 _arus
044 _aru
080 _a510.6
100 1 _aНовиков, Петр Сергеевич
245 1 0 _aЭлементы математической логики
_cП. С. Новиков
250 _a2-е изд., испр.
260 _aМосква
_bНаука
_c1973
300 _a399 с.
490 0 _aМатематическая логика и основания математики
504 _aПредм. указ.: с. 397-399
942 _cBK
999 _c28834
_d28834