000 00813nam a22001937a 4500
003 CONS
005 20230315175528.0
008 190917b ||||| |||| 00| 0 rus d
040 _aIAP
_cIAP
041 _arus
245 0 0 _aПроблемы математической логики:
_bСложность олгоритмов и классы вычислимых функций/
_cРедакция литературы по математическим наукам; ред. А. А. Мучкин.
260 _aМосква:
_bМир,
_c1970.
300 _a432 с.
440 0 _aБиблиотека кибернетическогосборника
504 _aБиблиогр.: с.431
650 1 4 _aМатематическая логика
700 _aМучкин, А. А.
_eред.
942 _2udc
_cBK
999 _c53317
_d53317