000 01275nam0a22003251 4500
001 rc\3403406
005 20130115135846.4
021 _aRU
_b[72-96770]
035 _a(NLR Aleph) 007574520
090 _a5441372
_c5441372
100 _a20130115d1972 |||y0rusy50 ca
101 1 _arus
_ceng
102 _aRU
105 _ay z |||||
200 1 _aТеория рекурсивных функций и эффективная вычислимость
_fПер. с англ. В.А. Душского [и др.]
_gПод ред. В.А. Успенского
210 _aМосква
_cМир
_d1972
215 _a624 с.
_d22
300 _aДоп. тит. л.: Theory of recursive functions and effective computability. Hartley Rogers, jr.
320 _aСписок лит.: с. 587-599
320 _aУказ. обозначений, теорем и алф.: с. 600-621
513 0 _aTheory of recursive functions and effective computability
606 _aФункции рекурсивные
_2psbo
700 1 _aРоджерс
_bХ.
_f1926-
_gХартлей
702 1 _aДушский
_bВ. А.
_4730
702 1 _aУспенский
_bВ. А.
_4340
801 0 _aRU
_bNLR
_gpsbo
801 1 _aRU
_bELAR
_2rusmarc
852 _aNLR
_j72-5/4664
942 _cBOOK
980 _aNB