数学基礎論 Mathematical logic

Author(s)

• 新井, 敏康 アライ, トシヤス

Bibliographic Information

数学基礎論 = Mathematical logic

新井敏康著

岩波書店, 2011.5

Title Transcription

スウガク キソロン = Mathematical logic

Note

文献案内: p511-515

Description and Table of Contents

Description

特別な予備知識を仮定せずに、数学基礎論における核心的な結論、技法やアイデアをもれなく説明した本格的な教科書。「不完全性定理」や「連続体仮説の独立性証明」などの結果が、どのような考え方によって得られたのか、その完全な証明を通して解説する。より深い理解のために豊富な演習問題と丁寧な解答を付した。

Table of Contents

• １部　入門篇（１階論理入門；計算理論入門；不完全性定理）
• ２部　基礎篇（「基礎篇」の準備；モデル理論；計算理論；集合論；証明論）

by "BOOK database"

Details

• NCID: BB05694597
• ISBN:
  • 9784000055369
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: xix, 536p
• Size: 22cm
• Classification:
  • NDC9 : 410
  • NDC9 : 410.9
• Subject Headings:
  • NDLSH : 数学基礎論