000 00986nam a2200205 c 4500
001 000003449
003 RuMoIPM
005 20220507230252.0
008 151214s1972 ru a||p|||||||||||||rus d
035 _a(RuMoIPM Bibliobus) 003663
040 _aRuMoIPM
_brus
_ercr
080 _a517.11
245 0 0 _aРоджерс Х. Теория рекурсивных функций и эффективная вычислимость.
_cРоджерс Х. Пер. с англ. Душского В.А. и др. Под ред. Успенского В. А.
260 _aМосква
_bМир
260 _c1972
700 0 _aРоджерс, Х.
887 _aРоджерс Х. Теория рекурсивных функций и эффективная вычислимость. / Роджерс Х. Пер. с англ. Душского В.А. и др. Под ред. Успенского В. А. — М. : Мир. — 1972. — 624 стр.
_2Bibliobus
942 _cBK
987 _a624 стр.
999 _c3449
_d3449