Kurt Gödel
21 works on record
Works
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
Kurt Gödel
Kurt Gödel - Collected Works
La prova matematica dell'esistenza di Dio
On formally undecidable propositions of Principia mathematica and related systems
Wahrheit und Beweisbarkeit 1. Dokumente und historische Analysen
Wahrheit und Beweisbarkeit 2. Kompendium zum Werk
Foundations of mathematics
Consistency of the Continuum Hypothesis. (AM-3), Volume 3
Maximen III
Philosophie I Maximen 0 / Philosophy I Maxims 0
Zeiteinteilung (Maximen) I und II / Time Management (Maxims) I and II
Philosophische Notizbücher
Maximen IV / Maxims IV
Maximen V / Maxims V
Maximen VI / Maxims VI
Urber dia vollständigkeit des logikkalküls
Kurt Gödel papers, 1905-1980
Mathematical Logic in Vienna
Obras completas
The consistency of the axiom of choice