Research Catalog
Combinators, lambda-terms and proof theory.
- Title
- Combinators, lambda-terms and proof theory.
- Author
- Stenlund, Sören.
- Publication
- Dordrecht, D. Reidel [1972]
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSD 74-248 | Offsite |
Details
- Description
- 184 p.; 23 cm.
- Series Statement
- Synthese library.
- Subjects
- Note
- Akademisk avhandling--Uppsala.
- Extra t.p. with thesis statement inserted.
- Bibliography (note)
- Bibliography: p. 177-180.
- Call Number
- JSD 74-248
- ISBN
- 9027703051
- LCCN
- 72083378
- OCLC
- 589103
- NYPG744115103-B
- Author
- Stenlund, Sören.
- Title
- Combinators, lambda-terms and proof theory.
- Imprint
- Dordrecht, D. Reidel [1972]
- Series
- Synthese library.
- Bibliography
- Bibliography: p. 177-180.
- Research Call Number
- JSD 74-248