証明論入門
著者
書誌事項
証明論入門
共立出版, 1988.2
- タイトル別名
-
証明論入門 : 数学基礎論改題
- タイトル読み
-
ショウメイロン ニュウモン
大学図書館所蔵 件 / 全115件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
「数学基礎論」増補版(1974年刊)の改題改訂
文献: p[186]-187
内容説明・目次
目次
- 第1章 証明の形式化(命題の形式化;LKの基本定理)
- 第2章 自然数論の無矛盾性の証明(自然数論の公理系;無矛盾性の証明の準備)
- 第3章 自然数論の無矛盾性—G¨odelの考察(自然数論の、直観主義的自然数論〔HA〕への翻訳;種々な理論の間の相互関係)
- 第4章 二階論理(二階論理の意味と問題;実数論の無矛盾性問題;二階の体系の証明論)
- 第5章 最近の話題
「BOOKデータベース」 より