Engines of Logic

Martin Davis

Technology

Engines of Logic: Mathematicians and the Origin of the Computer. On Patrick Collison's bookshelf at patrickcollison.com/bookshelf.