城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #不完全性定理)
該当件数:7件
ゲーデルに挑む : 証明不可能なことの証明 / 田中一之著
東京 : 東京大学出版会 , 2012.4
図書
不完全性定理 / 菊池誠著
東京 : 共立出版 , 2014.10
不完全性定理 : 数学的体系のあゆみ / 野崎昭弘著
東京 : 筑摩書房 , 2006.5. - (ちくま学芸文庫 ; [ノ4-1])
ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳
東京 : みすず書房 , 2011.3
山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌 / 田中一之著 ; バラマツヒトミ絵
東京 : 日本評論社 , 2019.12
スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2014.11
不完全性定理と算術の体系 / 田中一之編
東京 : 東京大学出版会 , 2007.3. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3)