Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Proof Theory An Introduction
Proof Theory (Grundlehren der mathematischen Wissenschaften)
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)
Computations in Higher Types (Lecture Notes in Mathematics, 574)
Proof Theory The First Step into Impredicativity
A Short Introduction to Intuitionistic Logic
Introduction to Axiomatic Set Theory (Synthese Library)
Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)
Goal-Directed Proof Theory
