Research Catalog
Handbook of proof theory
- Title
- Handbook of proof theory / edited by Samuel R. Buss.
- Publication
- Amsterdam ; New York : Elsevier, 1998.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSD 99-191 | Offsite |
Details
- Additional Authors
- Buss, Samuel R.
- Description
- 811 p.; 23 cm.
- Series Statement
- Studies in logic and the foundations of mathematics ; v. 137
- Subject
- Bibliography (note)
- Includes bibliographical references and indexes.
- Call Number
- JSD 99-191
- ISBN
- 0444898409 (alk. paper)
- LCCN
- 98018922
- OCLC
- 39051675
- Title
- Handbook of proof theory / edited by Samuel R. Buss.
- Imprint
- Amsterdam ; New York : Elsevier, 1998.
- Series
- Studies in logic and the foundations of mathematics ; v. 137
- Bibliography
- Includes bibliographical references and indexes.
- Added Author
- Buss, Samuel R.
- Research Call Number
- JSD 99-191