On the idea of a general proof theory (1974)

by Dag Prawitz
Venue:Synthese