Research Catalog
Proof theory
- Title
- Proof theory / Gaisi Takeuti.
- Author
- Takeuti, Gaisi, 1926-2017.
- Publication
- Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 81-1001 | Offsite |
Details
- Description
- vii, 372 p.; 23 cm.
- Series Statement
- Studies in logic and the foundations of mathematics ; v. 81
- Subject
- Note
- Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.
- Includes index.
- Call Number
- JSE 81-1001
- ISBN
- 0444104925 (American Elsevier)
- LCCN
- 75023164
- OCLC
- 1531974
- NYPG81-B3057
- Author
- Takeuti, Gaisi, 1926-2017.
- Title
- Proof theory / Gaisi Takeuti.
- Imprint
- Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
- Series
- Studies in logic and the foundations of mathematics ; v. 81
- Research Call Number
- JSE 81-1001