| Shelfclass_id | 4.B.1 |
| Sortkey | SHANKAR, N |
| Authors | N. Shankar |
| Title | Metamathematics, Machines, and Gödel's Proof |
| Publisher | Cambridge University Press |
| Year | 1997 |
| Languages | eng |
| Isbn | 0521585333 |
| Series | Cambridge tracts in theoretical computer science |
| Volume | 38 |
| Issn | 99-0691101 |
| Description | 202 s |
| Record date | 20060714 |
| Location | Cambridge |
| Notes | Originally published: 1994 |