Reviews

• Review of Jeremy Gray, Plato's Ghost: The Modernist Transformation of Mathematics
  Final version will appear in The Mathematical Intelligencer. Draft: pdf.
• Review of Marcus Giaquinto, Visual Thinking in Mathematics: An Epistemological Study
  Philosophia Mathematica, 17:95-108, 2009. Review: doi. Preprint: pdf.
• Review of William Tait, The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and its History
  Bulletin of Symbolic Logic, 12:608-611, 2006. Review: jstor, bsl. Preprint: pdf.
• Review of Calixto Badesa, The Birth of Model Theory: Löwenheim's Theorem in the Frame of the Theory of Relatives
  The Mathematical Intelligencer, 28(4):67-71, 2006. Review: doi, Preprint: pdf.
• Review of Dennis E. Hesseling, Gnomes in the Fog: The Reception of Brouwer's Intuitionism in the 1920s
  The Mathematical Intelligencer, 28(4):71-74, 2006. Review: doi. Preprint: pdf.
• Review of Sergei Artemov, "Explicit provability and constructive semantics"
  Bulletin of Symbolic Logic, 8:432, 2002. Review: doi, jstor, bsl. Preprint: pdf.
• Review of David Bressoud, Proofs and Confirmations
  SIGACT Newsletter, 32(4):2-5, 2001. Preprint: pdf.
• Review of A. S. Troelstra and H. Schwichtenberg, Basic Proof Theory (second edition)
  SIGACT Newsletter, 32(2), 2001. Preprint: pdf.
• Review of Toshiyasu Arai, "Some results on cut-elimination, provable well-orderings, induction, and reflection"
  Bulletin of Symbolic Logic, 7:77-78, 2001. Review: bsl, jstor, euclid. Preprint: pdf.
• Review of Solomon Feferman, In the Light of Logic
  Journal of Philosophy, 96:638-642, 1999. Review: jstor. Preprint: pdf.
• Review of Raymond Smullyan, First-Order Logic (Dover reprinting)
  Journal of Symbolic Logic, 61:351, 1996. Review: jstor, euclid. Preprint: pdf.