000 00334 a2200133 4500
080 _a517.1
_bY 29 R
245 1 _aRecursive functional theory and logic
_cby A. Yasuhara
260 _aNew York
_bAcademic Press
_c1971
650 _aFunctiona Theory
650 _aLogic
100 1 _aYasuhara, A.
_d
300 _a338 p.
901 _a125477
999 _c66234
_d66234