Ma bibliothèque

LEADER 00000nam  2200000Ia 4500 
001    48185610 
003    OCoLC 
005    20020121195215.0 
008    011020s2001    nyua     b    001 0 eng d 
010    00040200 
020    0393322297 (pbk.) : 
035    1071441 
040    DPL|cDPL|dLKR 
100 1  Davis, Martin,|d1928- 
245 10 Engines of logic :|bmathematicians and the origin of the 
       computer /|cMartin Davis. 
260    New York :|bNorton,|c2001. 
300    xii, 257 p. :|bill. ;|c21 cm. 
500    Originally published under the title The universal 
       computer. 
504    Includes bibliographical references (p. [239]-247) and 
       index. 
505 0  Leibniz's dream -- Boole turns logic into algebra -- Frege
       : from breakthrough to despair -- Cantor: detour through 
       infinity -- Hilbert to the rescue -- G\AN232\odel upsets 
       the applecart -- Turing conceives of the all-purpose 
       computer -- Making the first universal computers -- Beyond
       Leibniz's dream. 
650  0 Electronic digital computers|xHistory. 
994    X0|bLKR