証明論入門
著者
書誌事項
証明論入門
共立出版, 2010.6
復刊
- タイトル別名
-
数学基礎論
復刊証明論入門
- タイトル読み
-
ショウメイロン ニュウモン
大学図書館所蔵 全83件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
「数学基礎論」増補版(1974年刊)を改題改訂した「証明論入門」(1988年刊)の復刊
文献: p[186]-187
内容説明・目次
目次
- 第1章 証明の形式化(命題の形式化;証明の形式化、LKについて ほか)
- 第2章 自然数論の無矛盾性の証明(自然数論の公理系;無矛盾性の証明の準備 ほか)
- 第3章 自然数論の無矛盾性:G¨odelの考察(自然数論の、直観主義的自然数論(HA)への翻訳;計算可能なfunctional ほか)
- 第4章 二階論理(二階論理の意味と問題;二階論理の基礎 ほか)
- 第5章 最近の話題(序論、第1章、第2章についての追加;哲学と数学基礎論)
「BOOKデータベース」 より