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.
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. See less