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

Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Elements of Logical Reasoning

Proof Analysis: A Contribution to Hilbert's Last Problem