Skip to main content alibris logo

Martin Davis

Martin Davis is Professor Emeritus of Mathematics at New York University. His other Dover books include Computability and Unsolvability; The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions; and Applied Nonstandard Analysis.