On formally undecidable propositions of Principia mathematica and related systems
Bibliographic Data
| ID | 6562371 |
|---|---|
| Authors | Kurt Gödel |
| Year | 1992 |
| Pages | 72 |
| Publication date | 1992-01-01 |
| Open Access | No |
| Type | BOOK |
| Venue | On formally undecidable propositions of Principia mathematica and related systems (SOURCE_BOOK) |
| Publisher | Dover Publications (PUBLISHER) |
| Open Library | OL1564298M |
| ISBN | 9780486669809 |
| Language | EN |
| Citation velocity | historical |
|---|---|
| Highly cited | No |