Philosophical Aspects of Proof Theory (1981)

by D Prawitz
Venue:Contemporary Philosophy, a New Survey