Engines of Logic: Mathematicians and the Origin of the Computer

Martin Davis

If you liked Engines of Logic: Mathematicians and the Origin of the Computer by Martin Davis,
here are some books like this: