Kurt Gödel and the foundations of mathematics : horizons of truth /

Vydáno 2011

Kurt Gödel : das Album /

Autor Sigmund, Karl, 1945-, Mühlberger, Kurt, 1948-, Dawson, John W. 1944-
Vydáno 2006

Can mathematics be proved consistent? Gödel's shorthand notes & lectures on incompleteness /

Autor Von Plato, Jan, 1951-
Vydáno 2020

Journey to the edge of reason : the life of Kurt Gödel /

Autor Budiansky, Stephen, 1957-
Vydáno 2021