- 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
- Structural Proof Theory
- Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness