- Part 1: Propositional Logic (last update: 1/17/13)
- Part 2: First-Order Logic (last update: 1/31/13)
- Part 3: Peano and Heyting Arithmetic (last update: 2/24/13)
- Part 4: Reverse Mathematics (last update: 4/2/13)
- Girard's book, Proofs and Types
- Basic Proof Theory, by Troelstra and Schwichtenberg
- Proof Theory: The First Step into Impredicativity, by Pohlers
- Proof Theory, by Takeuiti
- A Short Introduction to Intuitionistic Logic, by Mints