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