Proof Theory and Logical Complexity, volume 1 (1987)

by J-Y Girard