Research Catalog
Metamathematical investigation of intuitionistic arithmetic and analysis
- Title
- Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.).
- Author
- Troelstra, A. S. (Anne Sjerp)
- Publication
- Berlin, Heidelberg, New York, Springer, 1973.
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| v. 344-345 | Text | Request in advance | JSM 95-200 v. 344-345 | Offsite |
Details
- Description
- xvii, 486 p. ill.; 24 cm.
- Series Statement
- Lecture notes in mathematics ; \344
- Uniform Title
- University of Arkansas lecture notes in mathematics ; \344.
- Subject
- Bibliography (note)
- Bibliography: p. [462]-475.
- Call Number
- JSM 95-200 no. 344
- ISBN
- 0387064915 (New York)
- LCCN
- 73014239
- OCLC
- 858277
- NYPG764059006-B
- Author
- Troelstra, A. S. (Anne Sjerp)
- Title
- Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.).
- Imprint
- Berlin, Heidelberg, New York, Springer, 1973.
- Series
- Lecture notes in mathematics ; \344University of Arkansas lecture notes in mathematics ; \344.
- Bibliography
- Bibliography: p. [462]-475.
- Research Call Number
- JSM 95-200 no. 344