On the idea of a general proof theory (1974)

by D Prawitz
Venue:Synthese