000 00612nam a2200241 a 4500
001 adlib96000001
003 ViArRB
005 20151026130518.0
008 960221s1955 dcuabcdjdbkoqu001 0deng d
020 _a
022 _a
040 _aAdlib
082 _a518.5
245 _aRecursive function theory and logic
250 _a
260 _aNew York
_bAcademic Press
_c1971
300 _axv,338p.
_c
500 _a
100 _aYasuhara, Ann
_e
700 _a
_a
942 _cBK
653 _arecursive fucnction theory
_afunction theory and logic
_aCalculation
_aMathematical games
_aComputing aids
999 _c6991
_d6991