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

Icons representing 記事

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

Call No. (NDL)
Z71-J476
Bibliographic ID of National Diet Library
11072813
Material type
記事
Author
中村 直行
Publisher
金沢 : 金沢学院大学
Publication date
2011-03
Material Format
Paper
Journal name
金沢学院大学紀要. 経営・経済・情報・自然科学編 = The journal of Kanazawa Gakuin University. Business administration, economics, informatics and natural sciences / 金沢学院大学紀要委員会 編 (9) 2011.3
Publication Page
p.101~106
View All

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • CiNii Research

    Search Service
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
記事
Author/Editor
中村 直行
Author Heading
Alternative Title
Reconsidering of the premise of consistency in the proof of Godel's first incompleteness theorem
Periodical title
金沢学院大学紀要. 経営・経済・情報・自然科学編 = The journal of Kanazawa Gakuin University. Business administration, economics, informatics and natural sciences / 金沢学院大学紀要委員会 編
No. or year of volume/issue
(9) 2011.3
Issue
9
Pages
101~106
Publication date of volume/issue (W3CDTF)
2011-03