A survey of proof theory (1968)

by Georg Kreisel
Venue:Journal of Symbolic Logic