Proof theory and logical complexity. - Girard, Jean-Yves, 1947- (Studies in proof theory ;, 1987)