An improved proof procedure (1960)

by D Prawitz
Venue:Theoria