Survey of proof theory (1968)

by Georg Kreisel
Venue:Journal of symbolic Logic