Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Subject: #Gödel Kurt )
Results:10items
ゲーデルの悪霊たち : 論理学と狂気 / ピエール・カスー=ノゲス [著] ; 新谷昌宏訳
東京 : みすず書房 , 2020.7
Books
ゲーデル / 竹内外史 著
東京 : 日本評論社 , 1986.11
ゲーデルを語る : 1983年7月10日-12日ザルツブルクにて / R.ゲーデル {ほか} 著 ; P.ワインガルトナー, L.シュメッテラー編 ; 前原昭二, 本橋信義訳
東京 : 遊星社 , 1992.12
Gödel's theorem in focus / edited by S.G. Shanker
hard,pbk.. - London ; New York : Croom Helm , c1988. - (Croom Helm philosophers in focus series)
ゲーデル,エッシャー,バッハ : あるいは不思議の環 / ダグラス・R.ホフスタッター 著 ; 野崎昭弘 {ほか}訳
東京 : 白揚社 , 1985.5
Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
Amsterdam : North-Holland , 1964. - (Studies in logic and the foundations of mathematics)
Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel / Edited by Jack J. Bulloff, Thomas C. Holyoke {and} S. W. Hahn.
Berlin : Springer , 1969
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
不完全性定理と算術の体系 / 田中一之編
東京 : 東京大学出版会 , 2007.3. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3)
完全性定理とモデル理論 / 田中一之編
東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)