Proof theory and logical complexity - Girard, Jean-Yves (Studies in proof theory : monographs, 1987)