「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で、論理関係の教科書に見られない内容を扱い初歩から解説。【「TRC MARC」の商品解説】
還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で、従来の論理関係の教科書に見られない内容を扱って初歩から解説。『証明論入門(数学基礎論 改題)』として1988年に改題発行後、以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け再発行するものです。【商品解説】
目次
- 序論
- 第1章 証明の形式化
- 第2章 自然数論の無矛盾性の証明
- 第3章 自然数論の無矛盾性:Godelの考察
- 第4章 二階論理
関連キーワード
あわせて読みたい本
この商品に興味のある人は、こんな商品にも興味があります。
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む