Proof theory and logical complexity (1987)

by Jean-Yves Girard