Martin Davis

Engines of Logic: Mathematicians and the Origin of the Computer

By Martin Davis

Computability and Unsolvability (Dover Books on Computer Science)

By Martin Davis, Davis, Martin