Normalization, cut-elimination, and the theory of proofs / A.M. Ungar.
| Uniform Title: | CSLI lecture notes ;
no. 28. |
|---|---|
| Main Author: | |
| Language: | English |
| Published: |
Stanford, CA :
CSLI,
[1992], ©1992.
|
| Series: | CSLI lecture notes ;
no. 28. |
| Subjects: | |
| Physical Description: | v, 236 pages : illustrations ; 24 cm. |
| Format: | Book |