海量图书期刊资源,随时随地畅享阅读乐趣
Gödel '96 (Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy) || Gödel's Ontological Proof RevisitedHajek, Petr · 2016
Gödel I || What Hath Gödel Wrought?J. W. Dawson Jr. · Synthese · 1998
Gödel Remembered. Gödel Symposium in Salzburg. History of Logic, IVby Paul Weingartner; Leopold Schmettere; Susan Simons; R. Gödel;Reflections on Kurt Gödelby Hao WangReview by: William E. Hartnett · American Scientist · 1989
Gödel I || On Gödel's Philosophical AssumptionsJaakko Hintikka · Synthese · 1998
Gödel '96 (Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy) || Gödel and the Theory of EverythingHajek, Petr · 2016
Interpreting Gödel (Critical Essays) || Gödel’s programKennedy, Juliette · 2014
Gödel '96 (Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy) || Kurt Gödel and the Consistency of R##Hajek, Petr · 2016
Gödel '96 (Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy) || Contributions of K. Gödel to Relativity and CosmologyHajek, Petr · 2016