Proof Theory An Introduction
Treatise on Intuitionistic Type Theory
Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics, 95)
Truth, Proof and Infinity A Theory of Constructive Reasoning
Mathematical Logic
Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics, 306)
Büchi’s Monadic Second Order Successor Arithmetic
Language, Truth and Logic in Mathematics
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Recursive Functions and Metamathematics Problems of Completeness and Decidability, Gödel's Theorems
