Proof Theory and Logical Complexity - Volume (1987)

by J-Y Girard
Venue:I, Studies in Proof Theory