Proof theory: Some applications of cut-elimination (1977)

by H Schwichtenberg
Venue:Handbook of Mathematical Logic (North