Combinators, -terms and proof theory.
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Dordrecht,
D. Reidel
[1972]
|
| Series: | Synthese library
|
| Subjects: |
| Item Description: | Extra t.p. with thesis statement inserted. |
|---|---|
| Physical Description: | 184 p. 23 cm. |
| Bibliography: | Bibliography: p. 177-180. |
| ISBN: | 9027703051 |