数学基礎論

Author(s)

Bibliographic Information

数学基礎論

新井敏康著

東京大学出版会, 2021.4

増補版

Other Title

Mathematical Logic

Title Transcription

スウガク キソロン

Access to Electronic Resource 1 items

Available at  / 134 libraries

Note

初版:岩波書店 2011年刊

文献案内: p565-570

Description and Table of Contents

Description

予備知識を仮定せず、数学基礎論の基本的結果とその技法やアイディアを広くていねいに解説した本格的教科書、待望の増補版。入門篇を中心に記述をわかりやすくするとともに、不完全性定理の意義、算術的完全性定理、ロビンソンによるモデル完全性の初歩事項や演習問題なども追加。「数学についての数学」の全体像を描き出す。

Table of Contents

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

by "BOOK database"

Details

  • NCID
    BC0667006X
  • ISBN
    • 9784130629270
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    xix, 588p
  • Size
    22cm
  • Classification
  • Subject Headings
Page Top