**Books:**

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

**Articles:**

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

The URL of this page is:

http://www-history.mcs.st-andrews.ac.uk/References/Davis.html