000			00647cam a2200217 a 4500
005			20240322174215.0
008			070403s2007 enka b 001 0 eng
020			_a9780521701464 (pbk.)
041			_aeng
082	0	0	_a511.352 _bBooC5
100	1		_aBoolos, George S.
245	1	0	_aComputability and Logic / _cGeorge S. Boolos, John P. Burgess and Richard C. Jeffrey
250			_a5th Ed.
260			_aCambridge : _aNew York : _bCambridge University Press, _cc1974.
300			_axiii, 350p.
650		0	_aComputable Functions
650		0	_aRecursive Functions
700	1		_aBurgess, John P.
700	1		_aJeffrey, Richard C.
942			_cBK
999			_c5643 _d5643