References for Martin Davis

Version for printing

Books:

  1. B Yandell, The honors class: Hilbert's problems and their solvers (A K Peters, 2002).

Articles:

  1. J W Dawson, Review: The Universal Computer: the Road from Leibniz to Turing by Martin Davis, Bull. Symbolic Logic 7 (1) (2001), 65-66.
  2. J W Dawson, Review: Engines of Logic. Mathematicians and the origin of the computer by Martin Davis, Bull. Symbolic Logic 8 (1) (2002), 10.
  3. C Elgot, Review: Computability and Unsolvability by Martin Davis, Mathematical Tables and Other Aids to Computation 13 (68) (1959), 316-317.
  4. H B Enderton, Review: Computability and Unsolvability by Martin Davis, J. Symbolic Logic 52 (1) (1987), 294.
  5. G B Folland, Review: The Universal Computer: the Road from Leibniz to Turing by Martin Davis, Amer. Math. Monthly 109 (6) (2002), 581-583.
  6. A Jackson, Interview with Martin Davis, Notices Amer. Math. Soc. 55 (5) (2008), 560-571.
  7. L O Kattsoff, Review: Computability and Unsolvability by Martin Davis, Amer. Math. Monthly 66 (10) (1959), 929-930.
  8. L D Kugler, Review: Applied Nonstandard Analysis by Martin Davis, J. Symbolic Logic 43 (2) (1978), 383-384.
  9. A H Lightstone, Review: Lecture notes on mathematical logic by Martin Davis, J. Symbolic Logic 35 (1) (1970), 167.
  10. M Pagani and I Saltalamacchia, Interview with Martin Davis (Italian), Lett. Mat. Pristem 46 (2002), 22-27.
  11. C Spector, Review: Computability and Unsolvability by Martin Davis, J. Symbolic Logic 3 (4) (1958), 432-433.
  12. M Stob, Review: Computability and Unsolvability by Martin Davis, Amer. Math. Monthly 93 (1) (1986), 69-71.
  13. R S Wallace, Mathematicians who forget the mistakes of history: a review of 'Engines of Logic' by Martin Davis, A.L.I.C.E. AI Foundation.
    http://www.alicebot.org/articles/wallace/mathematicians.html

JOC/EFR July 2011

The URL of this page is:
http://www-history.mcs.st-andrews.ac.uk/References/Davis.html