Lectures on proof theory (1967)

by Solomon Feferman
Venue:Proceedings of the Summer School in Logic