TY  - BOOK
AU  - Davis, Martin
TI  - Engines of Logic: mathematicians and the origin of the computer
SN  - 0393322297
CY  - New York
ER  -