01086nam a2200325 a 4500001001300000005001500013007000300028008004100031020002500072020002200097020002500119020002200144049001300166052001900179082001500198100002000213245008700233250001200320260005100332300003400383504006000417650002600477650002500503650003800528700002900566700005000595856008300645900002200728950001000750WMO20090569920090908153055ta070403s2007    us a          001   eng    a9780521877527 (hbk.)  a0521877520 (hbk.)  a9780521701464 (pbk.)  a0521701465 (pbk.)0 lWM57512602a511.35bB724c501a511.352211 aBoolos, George.10aComputability and logic /dGeorge S. Boolos,eJohn P. Burgess,eRichard C. Jeffrey  a5th ed.  aNew York :bCambridge University Press,cc2007  axiii, 350 p. :bill. ;c26 cm  aIncludes bibliographical references (p. 341) and index. 0aComputable functions. 0aRecursive functions. 0aLogic, Symbolic and mathematical.1 aBurgess, John P.,d1948-1 aJeffrey, Richard C.,d1926-20020KAC2018M4897413Table of contents onlyuhttp://www.loc.gov/catdir/toc/ecip0715/2007014225.html10aBoolos, George S.0 bUS$90