Research Catalog
Metamathematics, machines, and Gödel's proof
- Title
- Metamathematics, machines, and Gödel's proof / N. Shankar.
- Author
- Shankar, N.
- Publication
- Cambridge ; New York : Cambridge University Press, 1994.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 95-1094 | Offsite |
Details
- Description
- xv, 202 p.; 26 cm.
- Series Statement
- Cambridge tracts in theoretical computer science ; 38
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSF 95-1094
- ISBN
- 052142027X (hardback)
- LCCN
- 94222366
- OCLC
- 31434743
- Author
- Shankar, N.
- Title
- Metamathematics, machines, and Gödel's proof / N. Shankar.
- Imprint
- Cambridge ; New York : Cambridge University Press, 1994.
- Series
- Cambridge tracts in theoretical computer science ; 38
- Bibliography
- Includes bibliographical references and index.
- Research Call Number
- JSF 95-1094