Idea and result in proof theory (1971)

by D Prawitz
Venue:In: Proc . 2nd Scandinavian Logic Symp. North-Holland