References for Martin Davis

Books:

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

Articles:

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

July 2011