• 教科書献本のご案内
  • ニュースメール
  • アフターサービス
  • facebook

証明論入門―数学基礎論改題― 

こちらの書籍は旧版です。最新版は復刊 証明論入門となります。

この書籍は現在お取り扱いできません。

書籍情報
ISBN978-4-320-01406-0
判型A5 
ページ数204ページ
発行年月1988年02月
本体価格2,800円
証明論入門 書影
証明論入門

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

目次

序論

第1章 証明の形式化

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

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

第4章 二階論理

第5章 最近の話題

演習問題の解答
文献
索引