小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Gödel Kurt )
該当件数:9件
不完全性定理と算術の体系 / 田中一之編
東京 : 東京大学出版会 , 2007.3. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3)
図書
完全性定理とモデル理論 / 田中一之編
東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
ゲーデル再考 : 人と哲学 / ハオ・ワン著 ; 土屋俊, 戸田山和久訳
東京 : 産業図書 , 1995.9
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)
ゲーデル / 竹内外史著
東京 : 日本評論社 , 1986.11
Gödel, Escher, Bach : les brins d'une guirlande eternelle / Douglas Hofstadter ; version françase de Jacqueline Henry et Robert French
Paris : InterÉtitions , c1985
Gödel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter
pbk.. - New York : Vintage Books , 1980, c1979
Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Gödel / edited by Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn
New York : Springer-Verlag , 1969