000			00635nam a2200241Ia 4500
001			7477
005			20250221150038.0
008			250214s9999||||xx |||||||||||||| ||und||
020			_a9780071144261
100			_aKeisler, Jerome H
245		0	_aMathematical logic and computability
260			_aNew York
260			_bMcGraw-Hill
260			_c1996
300			_avii, 484p.
490			_aInternational series in pure & applied mathematics
500			_aIncludes bibliographical references and index
650			_aComputability
650			_aDigital logic
650			_aLogiclab
700			_aRobbin, Joel
942			_cBK
999			_c23586 _d23586