証明論入門 復刊

共立出版
竹内外史　八杉満利子　

• 価格: 3,850円（本体3,500円＋税）
• 発行年月: 2010年06月
• 判型: Ａ５
• ISBN: 9784320019355

内容情報

[BOOKデータベースより]

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

[日販商品データベースより]

還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で、従来の論理関係の教科書に見られない内容を扱って初歩から解説。『証明論入門（数学基礎論 改題）』として1988年に改題発行後、以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け再発行するものです。