Reviews

• 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)
  Formats: pdf (letter), pdf (a4)
   
• 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)
  Formats: pdf (letter), pdf (a4)
   
• 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)
  Formats: pdf (letter), pdf (a4)
   
• Review of Sergei Artemov, "Explicit provability and constructive semantics"
  (Bulletin of Symbolic Logic, 8:432, 2002)
  Formats: dvi, postscript, pdf
   
• Review of David Bressoud, Proofs and Confirmations
  (SIGACT Newsletter, 32(4):2-5, 2001)
  Formats: dvi, postscript, pdf
   
• Review of A. S. Troelstra and H. Schwichtenberg, Basic Proof Theory (second edition)
  (SIGACT Newsletter, 32(2), 2001)
  Formats: dvi, postscript, pdf
   
• Review of Toshiyasu Arai, "Some results on cut-elimination, provable well-orderings, induction, and reflection"
  (Bulletin of Symbolic Logic, 7:77-78, 2001)
  Formats: dvi, postscript, pdf
   
• Review of Solomon Feferman, In the Light of Logic
  (Journal of Philosophy, 96:638-642, 1999)
  Formats: postscript, pdf, html
   
• Review of Raymond Smullyan, First-Order Logic (Dover reprinting)
  (Journal of Symbolic Logic, 61:351, 1996)
  Formats: dvi, postscript, pdf