000 00697nam a22001817a 4500
003 Ge_NSL
005 20160622160509.0
008 160331s1977 ru ||||| |||| 00| 0 rus d
041 _arus
080 _a517.11
100 _aНовиков, Петр
245 _aКонструктивная математическая логика с точки зрения классической /
_cПетр Новиков.
264 _aМосква :
_c1977.
_bНаука,
300 _a328 с. :
_c21см.
_bил.
490 _aМатематическая логика и основания математики
653 _aმათემატიკური ლოგიკა
942 _2udc
_cBK
999 _c64181
_d64181