Engines of Logic: Mathematicians and the Origin of the Computer.
마틴 데이비스 (2000). 《Engines of Logic: Mathematicians and the origin of the Computer》 1판.