000			00821nam a2200277 a 4500
008
020			_a0521389232 (pbk.)
049			_aMAIN
090			_aQA9.59
100	1		_aBoolos, George S.
245	1	0	_aComputability and logic / _cGeorge S. Boolos, Richard C. Jeffrey.
250			_a3rd ed.
260			_aCambridge : _bCambridge University Press, _c1989.
300			_ax, 304 p. ; _c23 cm.
504			_aIncludes bibliographical references.
500			_aIncludes index.
650		0	_aComputable functions.
650		0	_aRecursive functions.
650		0	_aLogic, Symbolic and mathematical.
700	1		_aJeffrey, Richard C.
907			_a.b10043032 _b06-09-03 _c17-04-03
003
005			20230123133415.0
040			_cNUST
942			_cBOOKS _kQA9.59
999			_c148053 _d148053