Obres de Kurt Gödel
De Wikisofia
Collected Works, ed. por Solomon Feferman y altres, Clarendon-Oxford University Press, Nova York-Oxford 1986s.
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme [Sobre enunciats formalment indecidibles en els Principia Mathematica i sistemes relacionats], en «Monatshefte für Mathematik und Physik», 38 (1931); en ed. anglesa, On Formally Undecidable Propositions in Principia Mathematica and Related Systems, Oliver and Boyd-Basic Books, Edimburg-Nova York 1962.
The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory, Princeton University Press, Princeton, New Jersey 1940.
Traducció al castellà:
Obras completas,Alianza,Madrid 1989.