証明論入門

竹内外史, 八杉満利子 共著

[目次]

  • 第1章 証明の形式化(命題の形式化
  • LKの基本定理)
  • 第2章 自然数論の無矛盾性の証明(自然数論の公理系
  • 無矛盾性の証明の準備)
  • 第3章 自然数論の無矛盾性-G¨odelの考察(自然数論の、直観主義的自然数論〔HA〕への翻訳
  • 種々な理論の間の相互関係)
  • 第4章 二階論理(二階論理の意味と問題
  • 実数論の無矛盾性問題
  • 二階の体系の証明論)
  • 第5章 最近の話題

「BOOKデータベース」より

この本の情報

書名 証明論入門
著作者等 八杉 満利子
竹内 外史
書名ヨミ ショウメイロン ニュウモン
出版元 共立
刊行年月 1988.2
ページ数 191p
大きさ 22cm
ISBN 4320014065
NCID BN01958614
※クリックでCiNii Booksを表示
全国書誌番号
88025836
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想