Lectures on proof theory (1968)

by S Feferman
Venue:In M. H. Löb (Ed.), Proc. Summer School in Logic