TY  - BOOK
AU  - Davis,Martin
TI  - The universal computer: the road from Leibniz to Turing 
SN  - 9781466505193 (alk. paper)
AV  - QA76.17 .D38 2012
U1  - 004 23
PY  - 2012///
CY  - Boca Raton, Fla.
PB  - CRC Press
KW  - Electronic digital computers
KW  - History
N1  - Includes bibliographical references and index; Leibniz'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
ER  -