| Record ID | OpenLibraries-Trent-MARCs/tier5.mrc:56512198:1117 |
| Source | OpenLibraries-Trent-MARCs |
| Download Link | /show-records/OpenLibraries-Trent-MARCs/tier5.mrc:56512198:1117?format=raw |
LEADER: 01117cam 2200349 4500
001 ocn122526900
001 0116405581897
003 OCoLC
005 20071206145313.0
008 070403s2007 enka b 001 0 eng
010 $a 2007014225
035 $a(Sirsi) l2007014225
040 $aDLC$cDLC$dYDX$dBTCTA$dBAKER$dYDXCP
040 $aOPET$beng
020 $a9780521701464 (pbk.)
020 $a9780521877527 (hardback)
020 $a0521877520 (hardback)
020 $a0521701465 (pbk.)
035 $a(OCoLC)122526900
050 00 $aQA9.59$b.B66 2007
082 00 $a511.3/52$222
100 1 $aBoolos, George.
245 10 $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.
650 0 $aRecursive functions.
650 0 $aLogic, Symbolic and mathematical.
700 1 $aBurgess, John P.,$d1948-
700 1 $aJeffrey, Richard C.