数学基礎論 = Mathematical logic

＜図書＞
数学基礎論 = Mathematical logic
スウガクキソロン = Mathematical logic

責任表示	新井敏康著
データ種別	図書
出版情報	東京 : 岩波書店 , 2011.5
本文言語	日本語
大きさ	xix, 536p ; 22cm
概要	特別な予備知識を仮定せずに、数学基礎論における核心的な結論、技法やアイデアをもれなく説明した本格的な教科書。「不完全性定理」や「連続体仮説の独立性証明」などの結果が、どのような考え方によって得られたのか、その完全な証明を通して解説する。より深い理解のために豊富な演習問題と丁寧な解答を付した。
目次	1部入門篇(1階論理入門計算理論入門不完全性定理) 2部基礎篇(「基礎篇」の準備モデル理論計算理論集合論証明論)