城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Gödel Kurt )
該当件数:10件
ゲーデルの悪霊たち : 論理学と狂気 / ピエール・カスー=ノゲス [著] ; 新谷昌宏訳
東京 : みすず書房 , 2020.7
図書
ゲーデル / 竹内外史 著
東京 : 日本評論社 , 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)