A survey of proof theory (1968)

by G Kreisel
Venue:Journal of Symbolic Logic