| Record ID | marc_columbia/Columbia-extract-20221130-019.mrc:134734306:1263 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-019.mrc:134734306:1263?format=raw |
LEADER: 01263cam a2200313 a 4500
001 9411430
005 20120620224150.0
008 111012s2012 flua b 001 0 eng
010 $a 2011039841
020 $a9781466505193 (alk. paper)
020 $a1466505192 (alk. paper)
024 $a99948390068
035 $a(OCoLC)ocn756596194
035 $a(OCoLC)756596194
035 $a(NNC)9411430
040 $aDLC$cDLC$dYDX$dBTCTA$dYDXCP
042 $apcc
050 00 $aQA76.17$b.D38 2012
082 00 $a004$223
100 1 $aDavis, Martin,$d1928-
245 14 $aThe universal computer :$bthe road from Leibniz to Turing /$cMartin Davis.
250 $aTuring centenary ed.
260 $aBoca Raton, FL :$bCRC Press,$cc2012.
300 $axiv, 224 p. :$bill. ;$c23 cm.
500 $a"An A K Peters Book"
504 $aIncludes bibliographical references 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.
852 00 $bglx$hQA76.17$i.D38 2012