Normalization, cut-elimination, and the theory of proofs /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
[Stanford, Calif.] :
CSLI,
[1992]
|
| Series: | CSLI lecture notes ;
no. 28. |
| Subjects: |
| Physical Description: | 236 pages |
|---|---|
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 0937073830 : 0937073822 (pbk.) : |