| Record ID | marc_columbia/Columbia-extract-20221130-013.mrc:338025209:1681 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-013.mrc:338025209:1681?format=raw |
LEADER: 01681cam a2200385 a 4500
001 6463508
005 20221122033141.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(NNC)6463508
035 $a6463508
040 $aDLC$cDLC$dYDX$dBTCTA$dBAKER$dYDXCP$dBWK
050 00 $aQA9.59$b.B66 2007
082 00 $a511.3/52$222
100 1 $aBoolos, George.$0http://id.loc.gov/authorities/names/n88137851
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 pages :$billustrations ;$c26 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
504 $aIncludes bibliographical references (p. 341) and index.
650 0 $aComputable functions.$0http://id.loc.gov/authorities/subjects/sh85029469
650 0 $aRecursive functions.$0http://id.loc.gov/authorities/subjects/sh85112014
650 0 $aLogic, Symbolic and mathematical.$0http://id.loc.gov/authorities/subjects/sh85078115
700 1 $aBurgess, John P.,$d1948-$0http://id.loc.gov/authorities/names/n2001013661
700 1 $aJeffrey, Richard C.$0http://id.loc.gov/authorities/names/n82093546
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/toc/ecip0715/2007014225.html
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0729/2007014225-d.html
852 00 $bglx$hQA9.59$i.B66 2007