000			00517nam a2200181 4500
245			_aComputability and logic _cGeorge S. Boolos and Richard C. Jeffrey
100			_aBoolos, George S.
710			_aJeffrey, Richard C.
250			_a3rd ed.
260			_aCambridge _bCambridge University Press _cc1989
300			_axi, 304p.; 24cm.
020			_a0521389232
082			_a511.3 _bBOO
650			_aComputable Functions
650			_aRecursive Functions
650			_aSymbolic Logic
650			_aMathematical Logic
999			_c51397 _d51397