On undecidable propositions of formal mathematical systems - notes on lectures by Kurt Gödel, February - May, 1934
- Författare
- Kurt Gödel
- (Notes by S. C. Kleene and J. B. Rosser)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Inst. for Advanced Study | 1934 | USA, Princeton, N.J | 30 pl.-bl. |