- Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective (Cambridge Studies in Probability, Induction & Decision ... in Probability, Induction & Decision Theory)
- Elements of Logical Reasoning
- Proof Analysis: A Contribution to Hilbert's Last Problem
- Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics
- The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age