Godelの第一不完全性定理の証明における無矛盾性という前提について

記事を表すアイコン

Godelの第一不完全性定理の証明における無矛盾性という前提について

国立国会図書館請求記号
Z71-J476
国立国会図書館書誌ID
11072813
資料種別
記事
著者
中村 直行
出版者
金沢 : 金沢学院大学
出版年
2011-03
資料形態
掲載誌名
金沢学院大学紀要. 経営・経済・情報・自然科学編 = The journal of Kanazawa Gakuin University. Business administration, economics, informatics and natural sciences / 金沢学院大学紀要委員会 編 (9) 2011.3
掲載ページ
p.101~106
すべて見る

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

  • CiNii Research

    検索サービス
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
記事
著者・編者
中村 直行
著者標目
並列タイトル等
Reconsidering of the premise of consistency in the proof of Godel's first incompleteness theorem
タイトル(掲載誌)
金沢学院大学紀要. 経営・経済・情報・自然科学編 = The journal of Kanazawa Gakuin University. Business administration, economics, informatics and natural sciences / 金沢学院大学紀要委員会 編
巻号年月日等(掲載誌)
(9) 2011.3
掲載号
9
掲載ページ
101~106
掲載年月日(W3CDTF)
2011-03