Ideas and results in proof theory, in: J.E. Fenstad (ed (1971)

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