Normalisation, cut-elimination and theory of proofs - Ungar, A. M. (Stanford : California, 1992)
Includes bibliographical references and index
Keywords: Proof theory