TY  - BOOK
AU  - Ungar,A.M.
TI  - Normalization, cut-elemention and the theory of proofs
SN  - 0937073830
PY  - 1992///
CY  - Stanford, Calif.
PB  - Center for the Study of Language and Information
KW  - Proof theory
N1  - Includes bibliographical references and index; Contents : Background--Comparing NJ with LJ
ER  -