00979cam a2200313 a 4500 14795060 BD-DhUL 20180403083836.0 070403s2007 enka b 001 0 eng 2007014225 9780521701464 (pbk.) (OCoLC)ocn122526900 (OCoLC)122526900 DLC DLC BD-DhUL QA9.59 .B66 2007 511.352 22 BOC Boolos, George. Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. 5th ed. Cambridge ; New York : Cambridge University Press, 2007. xiii, 350 p. : ill. ; 26 cm. USD 27.89 Includes bibliographical references and index. Computable functions. Recursive functions. Burgess, John P., 1948- jt. aut. Jeffrey, Richard C. jt. aut. ddc BK 239965 239965 0 0 ddc 0 511_352000000000000_BOC 0 NFIC 364403 DUL DUL GEN 2010-08-30 Purchased 511.352 BOC 453407 2018-04-03 2 2018-04-03 BK 0 0 ddc 0 511_352000000000000_BOC 0 NFIC 364404 DUL DUL GEN 2010-08-30 Purchased 511.352 BOC 443110 2018-04-03 1 2018-04-03 BK