| 000 | 01238cam a2200313 a 4500 | ||
|---|---|---|---|
| 001 | 2011039841 | ||
| 003 | DLC | ||
| 005 | 20190729104740.0 | ||
| 008 | 111012s2012 flu b 001 0 eng | ||
| 010 | _a 2011039841 | ||
| 020 | _a9781466505193 (alk. paper) | ||
| 040 |
_aDLC _cDLC _dDLC _dMiTN |
||
| 042 | _apcc | ||
| 049 | _aEY8Z | ||
| 050 | 0 | 0 |
_aQA76.17 _b.D38 2012 |
| 082 | 0 | 0 |
_a004 _223 |
| 100 | 1 |
_aDavis, Martin, _d1928- |
|
| 245 | 1 | 4 |
_aThe universal computer : _bthe road from Leibniz to Turing / _cMartin Davis. |
| 250 | _aTuring centenary ed. | ||
| 260 |
_aBoca Raton, Fla. : _bCRC Press, _c2012. |
||
| 300 |
_axiv, 224 p. : _bill., charts ; _c24 cm. |
||
| 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 -- Godel upsets the applecart -- Turing conceives of the all-purpose computer -- Making the first universal computers -- Beyond Leibniz's dream -- Epilogue -- Notes. | |
| 650 | 0 |
_aElectronic digital computers _xHistory. |
|
| 948 | _au352374 | ||
| 949 |
_aQA76.17 .D38 2012 _wLC _c1 _hEY8Z _i33039001212579 |
||
| 596 | _a1 | ||
| 903 | _a22789 | ||
| 999 |
_c22789 _d22789 |
||