Normalization, cut-elimination, and the theory of proofs /
Ungar, A. M.(Anthony M.),1945-
Center for the Study of Language and Information (U.S.)
Stanford, Calif. : CSLI,
c1992.
Includes bibliographical references and index.
Proof theory.