証明論入門

Author(s)

• 竹内, 外史 タケウチ, ガイシ
• 八杉, 満利子 ヤスギ, マリコ

Bibliographic Information

証明論入門

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

共立出版, 1988.2

Other Title

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

Title Transcription

ショウメイロン ニュウモン

Access to Electronic Resource 1 items

• 証明論入門

  1988

  NDL Digital Collections

  Limited

Note

「数学基礎論」増補版(1974年刊)の改題改訂

文献: p[186]-187

Description and Table of Contents

Table of Contents

• 第１章　証明の形式化（命題の形式化；ＬＫの基本定理）
• 第２章　自然数論の無矛盾性の証明（自然数論の公理系；無矛盾性の証明の準備）
• 第３章　自然数論の無矛盾性—Ｇ¨ｏｄｅｌの考察（自然数論の、直観主義的自然数論〔ＨＡ〕への翻訳；種々な理論の間の相互関係）
• 第４章　二階論理（二階論理の意味と問題；実数論の無矛盾性問題；二階の体系の証明論）
• 第５章　最近の話題

by "BOOK database"

Details

• NCID: BN01958614
• ISBN:
  • 4320014065
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: 2, 2, 191p
• Size: 22cm
• Classification:
  • NDC8 : 410.9
  • NDC7 : 410.1
  • NDLC : MA41
• Subject Headings:
  • BSH : 数学基礎論