Proof Theory and Logical Complexity, volume 1 (1987)

by Jean-Yves Girard