000			00398nam a2200145Ia 4500
008			240806s9999||||xx |||||||||||||| ||und||
040			_aKenya National Library Service
082			_a511.352 BOO
100			_aBoolos, S, George
245		0	_aComputability and logic
250			_a5th edi
260			_aNew york _b Cambridge university press 2007.
650			_aMathematicals logic
942			_cBK
999			_c298019 _d298019