TY  - BOOK
AU  - Martin Davis
TI  - Engins of Logic: mathematicians and the origin of computer
SN  - 0-393-32229-7
U1  -  004.09 
PY  - 2000///
CY  - New York,USA
PB  - W. W. Norton & Company
ER  -