000			00588nam a2200205Ia 4500
008			161214s9999 xx 000 0 und d
020			_a0521007585 _c(pbk)
082			_223 _a511.3 _bBOO
100			_aBoolos, George S.
245		0	_aComputability and logic
250			_a4th ed.
260			_aCambridge: _bCambridge University Press, _c2002
300			_axi, 356 p.; _bill.: _c26 cm.
650			_aLogic, Symbolic and mathematical
650			_aComputable functions
650			_aRecursive functions
700			_aBurgess, John P.
700			_aJeffrey, Richard C.
942			_2ddc _cBK
999			_c2905 _d2905