復刊 証明論入門

書籍情報
シリーズ名復刊・復刻・新装版 復刊 
ISBN978-4-320-01935-5
判型A5 
ページ数204ページ
発行年月2010年06月
本体価格3,500円
復刊 証明論入門 書影
復刊 証明論入門

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

目次

序論

第1章 証明の形式化

第2章 自然数論の無矛盾性の証明

第3章 自然数論の無矛盾性:Godelの考察

第4章 二階論理

第5章 最近の話題

演習問題の解答
文献
索引