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

Applied Nonstandard Analysis

By Ivar Ekeland, Martin Davis