Towards a foundation of a general proof theory (1973)

by D Prawitz
Venue:In P. Suppes et al. (Eds.), Logic, Methodology, and Philosophy of Science IV