Ideas and results in proof theory (1971)

by D Prawitz
Venue:In Proceedings of the Second Scandinavian Logic Symposium