Normalization, cut-elimination, and the theory of proofs
By: A.M. Ungar.
Series: CSLI lecture notes ;; no. 28
Publisher: CSLI
Published: 1992
Place of publication: Stanford, CA
Language: eng
Number of pages: 236
Subjects: Proof theory.
Notes: Includes bibliographical references (p. 229-233) and index.