Research Catalog
Basic proof theory
- Title
- Basic proof theory / A.S. Troelstra, H. Schwichtenberg.
- Author
- Troelstra, A. S. (Anne Sjerp)
- Publication
- Cambridge ; New York : Cambridge University Press, 1996.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 99-1423 | Offsite |
Details
- Additional Authors
- Schwichtenberg, Helmut, 1942-
- Description
- xi, 343 p. : ill.; 24 cm.
- Series Statement
- Cambridge tracts in theoretical computer science ; 43
- Subject
- Proof theory
- Bibliography (note)
- Includes bibliographical references (p. 309-330) and index.
- Call Number
- JSE 99-1423
- ISBN
- 0521572231 (hardback)
- LCCN
- 96028596
- OCLC
- 34990172
- Author
- Troelstra, A. S. (Anne Sjerp)
- Title
- Basic proof theory / A.S. Troelstra, H. Schwichtenberg.
- Imprint
- Cambridge ; New York : Cambridge University Press, 1996.
- Series
- Cambridge tracts in theoretical computer science ; 43
- Bibliography
- Includes bibliographical references (p. 309-330) and index.
- Added Author
- Schwichtenberg, Helmut, 1942-
- Research Call Number
- JSE 99-1423