復刊 証明論入門

復刊 証明論入門
著者 竹内 外史 共著・ 八杉 満利子 共著
分野 数学  > 論理  > 数学基礎論
シリーズ 数学  > 復刊・復刻・新装版  > 復刊
発売日 2010/06/10
ISBN 9784320019355
体裁 A5・204頁
定価 3,850円 (本体3,500円 + 税10%)
  • この本の
    内容
  • 目次
  • 関連情報
還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で、従来の論理関係の教科書に見られない内容を扱って初歩から解説。『証明論入門(数学基礎論 改題)』として1988年に改題発行後、以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け再発行するものです。
序論

第1章 証明の形式化

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

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

第4章 二階論理

第5章 最近の話題

演習問題の解答
文献
索引

Shopping
ご注文

3,850円
(本体3,500円 + 税10%)

ネット書店で購入