証明論入門　復刊

還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で、論理関係の教科書に見られない内容を初歩から解説。

目次

第１章　証明の形式化（命題の形式化
証明の形式化、ＬＫについて　ほか）
第２章　自然数論の無矛盾性の証明（自然数論の公理系
無矛盾性の証明の準備　ほか）
第３章　自然数論の無矛盾性：Ｇ¨ｏｄｅｌの考察（自然数論の、直観主義的自然数論（ＨＡ）への翻訳
計算可能なｆｕｎｃｔｉｏｎａｌ　ほか）
第４章　二階論理（二階論理の意味と問題
二階論理の基礎　ほか）
第５章　最近の話題（序論、第１章、第２章についての追加
哲学と数学基礎論）

本の帯に関して

帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。

版・表紙について

版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。