本文に飛ぶ

年 〜
年

検索結果 41 件

Kurt Gödel : results on foundations

Kurt Gödel : results on foundations
紙図書
edited by Maria Hämeen-Anttila, Jan von PlatoSpringer2023
全国の図書館
  • 著者標目Gödel, Kurt Hämeen-Anttila, Maria Von Pla...

不完全性定理 12刷

不完全性定理 12刷
紙図書
ゲーデル [著] ; 林晋, 八杉満利子訳・解説岩波書店2015.11
全国の図書館
  • 著者標目Gödel, Kurt 林, 晋 八杉, 満利子

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

Kurt Gödel and the foundations of mathematics : horizons of truth : pbk
紙図書
edited by Matthias Baaz ... [et al.]Cambridge University Press2014, c2011
全国の図書館
  • 件名Gödel's theorem Mathematics -- Philosophy Gödel, Kurt MATHEMATICS / Logic bisacsh
  • 件名（識別子）Gödel's theorem Mathematics -- Philosophy Gödel, Kurt MATHEMATICS / Logic bisacsh
  • 著者標目Gödel, Kurt Baaz, Matthias Papadimitriou,...

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

Kurt Gödel and the foundations of mathematics : horizons of truth : hbk
紙図書
edited by Matthias Baaz ... [et al.]Cambridge University Press2011
全国の図書館
  • 件名Gödel's theorem Mathematics -- Philosophy Gödel, Kurt
  • 件名（識別子）Gödel's theorem Mathematics -- Philosophy Gödel, Kurt
  • 著者標目Gödel, Kurt Baaz, Matthias Papadimitriou,...

Thirty years after Kurt Gödel (1906-1978)

Thirty years after Kurt Gödel (1906-1978)
紙図書
Charles Tandy, editorRia University Press2008
全国の図書館
  • 著者標目Tandy, Charles Gödel, Kurt

Kurt Gödel : das Album = the album

Kurt Gödel : das Album = the album
紙図書
Karl Sigmund, John Dawson, Kurt MühlbergerVieweg2006
全国の図書館
  • 件名Gödel, Kurt Logicians -- United States --...
  • 件名（識別子）Gödel, Kurt Logicians -- United States --...
  • 著者標目Gödel, Kurt Sigmund, Karl Dawson, John W....

Collected works v. 1 v. 2 v. 3 v. 4 v. 5 Pbk. ed

Collected works v. 1 v. 2 v. 3 v. 4 v. 5 Pbk. ed
紙図書
Kurt Gödel ; edited by Solomon Feferman ... [et al.]Oxford University Press2001-2014, c1986-c2003
全国の図書館
  • 著者標目Gödel, Kurt Feferman, Solomon

Frege and Gödel : two fundamental texts in mathematical logic

Frege and Gödel : two fundamental texts in mathematical logic
紙図書
edited by Jean van HeijenoortReplica Books2000
全国の図書館
  • 著者標目Frege, Gottlob Gödel, Kurt Van Heijenoort, Jean

不完全性定理 (岩波文庫)

不完全性定理 (岩波文庫)
紙図書
ゲーデル [著], 林晋, 八杉満利子 訳・解説岩波書店2006.9<MA41-H36>
国立国会図書館全国の図書館
  • 著者標目Gödel, Kurt, 1906-1978 林, 晋, 1953- 八杉, 満利...

Ｏｎ　ｆｏｒｍａｌｌｙ　ｕｎｄｅｃｉｄａｂｌｅ　ｐｒｏｐｏｓｉｔｉｏｎ　：　「プリンキピア・マテマティカ」とそれに関連する体系における形式的に決定不能な命題について（英語版） Ｕｂｅｒ　ｆｏｒｍａｌ　ｕｎｅｎｔｓｃｈｅｉｄｂａｒｅ　Ｓａｔｚｅ　ｄｅｒ　Ｐｒｉｎｃｉｐｉａ　Ｍａｔｈｅｍａｔｉｃａ　ｕｎｄ　ｖｅｒｗａｎ

Ｏｎ　ｆｏｒｍａｌｌｙ　ｕｎｄｅｃｉｄａｂｌｅ　ｐｒｏｐｏｓｉｔｉｏｎ　：　「プリンキピア・マテマティカ」とそれに関連する体系における形式的に決定不能な命題について（英語版） Ｕｂｅｒ　ｆｏｒｍａｌ　ｕｎｅｎｔｓｃｈｅｉｄｂａｒｅ　Ｓａｔｚｅ　ｄｅｒ　Ｐｒｉｎｃｉｐｉａ　Ｍａｔｈｅｍａｔｉｃａ　ｕｎｄ　ｖｅｒｗａｎ
紙図書
Ｇｏｄｅｌ，Ｋｕｒｔ／著, Ｂｒａｉｔｈｗａｉｔｅ，Ｒ．Ｂ．／序文Ｄｏｖｅｒ１９９２
全国の図書館

Unpublished philosophical essays : sz : us

Unpublished philosophical essays : sz : us
紙図書
Kurt Gödel ; edited by Francisco A. Rodríguez-Consuegra ; with a historico-philosophical introduction by the editorBirkhäuser1995
全国の図書館
  • 著者標目Gödel, Kurt Rodríguez-Consuegra, Francisc...

Ｃｏｌｌｅｃｔｅｄ　Ｗｏｒｋｓ　；　Ｖ．２　：　Ｐｕｂｌｉｃａｔｉｏｎｓ　１９３８－１９７４

Ｃｏｌｌｅｃｔｅｄ　Ｗｏｒｋｓ　；　Ｖ．２　：　Ｐｕｂｌｉｃａｔｉｏｎｓ　１９３８－１９７４
紙図書
Ｇｏｄｅｌ，Ｋｕｒｔ／著, Ｆｅｆｅｒｍａｎ，Ｓｏｌｏｍｏｎ／［ほか］編, クルト・ゲーデル／著Ｏｘｆｏｒｄ　Ｕｎｉｖｅｒｓｉｔｙ　Ｐｒｅｓｓ１９９０
全国の図書館

On formally undecidable propositions of Principia mathematica and related systems : pbk

On formally undecidable propositions of Principia mathematica and related systems : pbk
紙図書
Kurt Gödel ; translated by B. Meltzer ; introduction by R.B. BraithwaiteDover Publications1992
全国の図書館
  • 著者標目Gödel, Kurt Meltzer, Bernard Braithwaite,...

Principia mathematica : Vorwort und Einleitungen 2. Aufl

Principia mathematica : Vorwort und Einleitungen 2. Aufl
紙図書
Alfred North Whitehead, Bertrand Russell ; übersetzt von Hans Mokre ; mit einem Beitrag von Kurt GödelSuhrkamp1986, c1984
全国の図書館
  • 著者標目Whitehead, Alfred North Russell, Bertrand Gödel, Kurt

ゲーデル未刊哲学論稿

ゲーデル未刊哲学論稿
紙図書
ゲーデル [著], ロドリゲスーコンスエグラ 編, 好田順治 訳青土社1997.8<H151-G11>
国立国会図書館全国の図書館
  • 件名Gödel, Kurt, 1906-1978 数理哲学
  • 著者標目Gödel, Kurt, 1906-1978 Rodríguez-Consuegr...

Collected works v. 1 v. 2 v. 3 v. 4 v. 5

Collected works v. 1 v. 2 v. 3 v. 4 v. 5
紙図書
Kurt Gödel ; edited by Solomon Feferman ... [et al.]Oxford University Press1986-2003
全国の図書館
  • 著者標目Gödel, Kurt Feferman, Solomon

Collected works / Kurt Gödel ; edited by Solomon Feferman ... [et al.].

Collected works / Kurt Gödel ; edited by Solomon Feferman ... [et al.].
紙図書
Clarendon Press1986-<MA41-A65>
国立国会図書館
  • 著者標目Gödel, Kurt, 1906-1978 Feferman, Solomon.

Gödel remembered : Salzburg 10-12 July 1983

Gödel remembered : Salzburg 10-12 July 1983
紙図書
R. Gödel ... [et al.] ; edited by Paul Weingartner and Leopold SchmettererBibliopolisc1987
全国の図書館
  • 件名Logic, Symbolic and mathematical -- Congresses Gödel, Kurt -- Congresses
  • 件名（識別子）Logic, Symbolic and mathematical -- Congresses Gödel, Kurt -- Congresses
  • 著者標目Weingartner, Paul Schmetterer, Leopold Gödel, R. (Rudolf) Gödel-Symposium in Salzburg Gödel, Kurt

Mathematical logic and its applications

Mathematical logic and its applications
紙図書
edited by Dimiter G. SkordevPlenum Pressc1987
全国の図書館
  • 件名Logic, Symbolic and mathematical -- Congresses Gödel, Kurt -- Congresses
  • 件名（識別子）Logic, Symbolic and mathematical -- Congresses Gödel, Kurt -- Congresses
  • 著者標目...imitŭr Genchev Gödel, Kurt

Frege and Gödel : two fundamental texts in mathematical logic : hard : pbk

Frege and Gödel : two fundamental texts in mathematical logic : hard : pbk
紙図書
edited by Jean van HeijenoortHarvard University Press1970
全国の図書館
  • 著者標目Van Heijenoort, Jean Frege, Gottlob Gödel, Kurt
RSS