01530cam a2200385 a 4500 14795060 OSt 20150408113747.0 070403s2007 enka b 001 0 eng 2007014225 9780521877527 (hbk.) 0521877520 (hbk.) 9780521701464 (pbk.) 0521701465 (pbk.) (OCoLC)ocn122526900 (OCoLC)122526900 DLC DLC DLC QA9.59 .B66 2007 511.352 22 Boolos, George. 8878 Computability and logic. 5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey. Cambridge ; New York : Cambridge University Press, 2007. xiii, 350 p. : ill. ; 26 cm. Includes bibliographical references (p. 341) and index. Computable functions. 4938 Recursive functions. 8879 Logic, Symbolic and mathematical. 8880 Burgess, John P., 1948- 8881 Jeffrey, Richard C. 8882 Table of contents only http://www.loc.gov/catdir/toc/ecip0715/2007014225.html Publisher description http://www.loc.gov/catdir/enhancements/fy0729/2007014225-d.html ddc BOOK 3596 238096 0 2013-03-10 0 0 511.352 B G C 2011-12-20 SZM 00012034 SZM 2013-03-10 00:00:00 BOOK ddc 0 0 2013-03-10 0 0 511.352 B G C 2011-12-20 SZM 00012035 SZM 2013-03-10 00:00:00 BOOK ddc 0 0 2013-03-10 0 0 511.352 B G C 2011-12-20 SZM 00012036 SZM 2013-03-10 00:00:00 BOOK ddc 0