| Record ID | harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:511907514:1534 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:511907514:1534?format=raw |
LEADER: 01534cam a2200361Ia 4500
001 011559501-5
005 20080917130736.0
008 011020t20012000nyua b 001 0 eng d
010 $a 00040200
015 $aGBA1-67906
020 $a0393322297 (pbk.)
020 $a9780393322293 (pbk.)
020 $a0393047857 (VARIANT)
020 $a9780393047851 (VARIANT)
035 0 $aocm48185610
040 $aDPL$cDPL$dTSU$dUKM$dBOS$dOCLCQ$dBAKER$dNLGGC$dYDXCP$dUX0$dOCLCG
082 04 $a004.09$221
090 $aQA76.5$b.D38 2001
100 1 $aDavis, Martin,$d1928-
240 10 $aUniversal computer
245 10 $aEngines of logic :$bmathematicians and the origin of the computer /$cMartin Davis.
246 30 $aMathematicians and the origin of the computer
260 $aNew York :$bNorton,$c2001, c2000.
300 $axii, 257 p. :$bill. ;$c21 cm.
500 $aOriginally published under the title: The universal computer : the road from Leibniz to Turing.
504 $aIncludes bibliographical references (p. [239]-247) and index.
505 0 $aLeibniz's dream -- Boole turns logic into algebra -- Frege : from breakthrough to despair -- Cantor : detour through infinity -- Hilbert to the rescue -- Gödel upsets the applecart -- Turing conceives of the all-purpose computer -- Making the first universal computers -- Beyond Leibniz's dream.
650 0 $aElectronic digital computers$xHistory.
650 17 $aLogica.$2gtt
650 17 $aComputers.$2gtt
650 17 $aWiskundigen.$2gtt
988 $a20080908
906 $0OCLC