Reviews
Review of Eckart Menzler-Trott, Logic's Lost Genius: The Life of Gerhard Gentzen and Reinhard Kahle and Michael Rathjen, editors, Gentzen's Centenary: The Quest for Consistency
Notices of the American Mathematical Society, 63(11):1288-1292, 2016.
Review: pdf.Review of Thomas Hales, Dense Sphere Packings: A Blueprint for Formal Proofs
Bulletin for Symbolic Logic, 20(4):500-501, 2014.
Review: pdf.Review of Ian Hacking, Why is there Philosophy of Mathematics at All?
Newsletter for the London Mathematical Society, December, 2014.
Review: pdf, html.Review of S. Barry Cooper and Jan van Leeuwen, eds., Alan Turing: His Work and Impact
Notices of the American Mathematical Society, 61(8):886-890, 2014.
Review: pdf.Review of Bonnie Gold and Roger A. Simons, Proof and Other Dilemmas: Mathematics and Philosophy
Notices of the American Mathematical Society, 58(11): 1580-1584, 2011.
Review: pdf.Review of John Harrison, Handbook of Practical Logic and Automated Reasoning
Theory and Practice of Logic Programming, 10:237-241, 2010.
Review: doi, preprint: pdf.Review of Jeremy Gray, Plato's Ghost: The Modernist Transformation of Mathematics
The Mathematical Intelligencer, 32:79-81, 2010.
Review: doi, preprint: 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.