000			01530cam a2200385 a 4500
001			14795060
003			OSt
005			20150408113747.0
008			070403s2007 enka b 001 0 eng
010			_a 2007014225
020			_a9780521877527 (hbk.)
020			_a0521877520 (hbk.)
020			_a9780521701464 (pbk.)
020			_a0521701465 (pbk.)
035			_a(OCoLC)ocn122526900
035			_a(OCoLC)122526900
040			_aDLC _cDLC _dDLC
050	0	0	_aQA9.59 _b.B66 2007
082	0	0	_a511.352 _222
100	1		_aBoolos, George. _98878
245	1	0	_aComputability and logic.
250			_a5th ed. / _bGeorge S. Boolos, John P. Burgess, Richard C. Jeffrey.
260			_aCambridge ; _aNew York : _bCambridge University Press, _c2007.
300			_axiii, 350 p. : _bill. ; _c26 cm.
504			_aIncludes bibliographical references (p. 341) and index.
650		0	_aComputable functions. _94938
650		0	_aRecursive functions. _98879
650		0	_aLogic, Symbolic and mathematical. _98880
700	1		_aBurgess, John P., _d1948- _98881
700	1		_aJeffrey, Richard C. _98882
856	4	1	_3Table of contents only _uhttp://www.loc.gov/catdir/toc/ecip0715/2007014225.html
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0729/2007014225-d.html
942			_2ddc _cBOOK
999			_c3596 _d238096