Research Catalog
Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Gödel.
- Title
- Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Gödel.
- Author
- Mostowski, Andrzej.
- Publication
- Amsterdam, North-Holland Pub. Co., 1952.
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person. | no. 1-5 | Text | Use in library | VBA p.v. 1404 no. 1-5 | Schwarzman Building - General Research Room 315 |
Details
- Description
- 117 p.; 23 cm.
- Series Statement
- Studies in logic and the foundations of mathematics
- Subjects
- Bibliography (note)
- Includes bibliography.
- Call Number
- VBA p.v. 1404, no. 5
- LCCN
- 52002458 /L/r84
- OCLC
- 373243
- Author
- Mostowski, Andrzej.
- Title
- Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Gödel.
- Imprint
- Amsterdam, North-Holland Pub. Co., 1952.
- Series
- Studies in logic and the foundations of mathematics
- Bibliography
- Includes bibliography.
- Research Call Number
- VBA p.v. 1404, no. 5