- 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