000 00950nam a22002417a 4500
003 Ge_NSL
005 20160628113738.0
008 160527s1982 ru ||||| |||| 00| 0 rus d
041 _arus
080 _a51(05)
245 _aМатематическая логика и теория алгоритмов : 1982 /
_cОтв. ред. С. Л. Соболев ; Труды ин-та математики.
264 _aНовосибирск :
_bНаука,
_c1982.
300 _av.
490 _aТруды Института математики
_vТ. 2
504 _aБиблиогр. в конце ст.
653 _aმათემატიკა
653 _aლოგიკა
653 _aალგორითმული პრობლემები
653 _aკრებული
700 _aСоболев, С. Л.
_eრედაქტორი
710 _aТруды ин-та математики.
942 _2udc
_cCR
999 _c65209
_d65209