000 00725nam a2200253 a 4500
001 adlib96000001
003 ViArRB
005 200902210153555.7
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
952 _w2010-06-16
_p00005474
_r2010-06-16
_40
_00
_bUL
_10
_o518.5 YAS
_d2010-06-16
_70
_yBK
_aUL
999 _c12672
_d12671