A Survey of Proof Theory (1968)

by G Kreisel
Venue:The Journal of Symbolic Logic