Proof theory and logical complexity - Girard, Jean-Yves (Napoli : Bibliopolis, 1987)
Library has vol.1
Includes bibliographical references and index
Keywords: Proof theory