Proof theory: some personal recollections (1987)

by Georg Kreisel
Venue:In G. Takeuti, Proof Theory (second edition