Proof theory and intuitionistic systems
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin New York:
Springer-Verlag,
1971
|
| Series: | Lecture notes in mathematics
|
| Subjects: |
| Physical Description: | vii, 290, [1] p ; 26 cm |
|---|---|
| Bibliography: | Bibliography: p. [291] Bibliography: p. 291 |
| ISBN: | 354005541X |
| ISSN: | 0075-8434 |