41 treff

Gödel, Escher, Bach : an eternal golden braid
Douglas R. Hofstadter
Bok Engelsk 1979
Frege and Gödel : two fundamental texts in mathematical logic
edited by Jean van Heijenoort
Bok Engelsk 1970
Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gødel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Stegmüller, Wolfgang
Bok Tysk 1970
Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Gödel
edited by Jack J. Bulloff, Thomas C. Holy...
Bok Engelsk 1969
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
by Kurt Gödel
Bok Engelsk 1966
On formally undecidable propositions of Principia mathematica and related systems : Kurt Gödel ; translated by Meltzer ; with introduction by R. B. Braithwaite
Gödel, Kurt
Bok Språk ikke angitt 1962
Gödel's proof
by Ernest Nagel and James R. Newman
Bok Engelsk 1959
Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gødel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Stegmüller, Wolfgang
Bok Tysk 1959
Gödel's proof
by Ernest Nagel and James R. Newman
Bok Engelsk 1958
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
by Kurt Gödel
Bok Engelsk 1951
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
by Kurt Gödel
Bok Engelsk 1940