On Formally Undecidable Propositions of Principia Mathematica and Related Systems - Kurt Gödel
- Bernard Meltzer (Translator)
| 4 |
La prova matematica dell'esistenza di Dio | 0 |
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory. | 0 |
Kurt Gödel Collected Works Volume III: Unpublished Essays and Lectures | 3 |
| 0 |
Collected works Volume IV | 0 |
| 0 |
Kurt Gödel Collected Works Volume II: Publications 1938-1974 | 0 |
| 0 |
Philosophie I Maximen 0 / Philosophy I Maxims 0 | 0 |
Frege and Godel - Gottlob Frege
- Jean Van Heijenoort
- Kurt Gödel
| 0 |
Kurt Gödel: Collected Works: - Kurt Gödel
- Stanford Unviersity of Mathematics
| 0 |