Filters: Author is Kurt Gödel [Clear All Filters]
On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Dover Publications, 1992.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems I." The Collected Works of Kurt Gödel II (1930).
"