Proof theory and logical complexity - Girard Jean-Yves (N Y Elsevier Science Pub, 1987)
Keywords: Proff theory