数学基礎論 増補版
新井 敏康：著
A5判 610ページ
価格：5,940円 (消費税：540円)
ISBN978-4-13-062927-0 C3041
奥付の初版発行年月：2021年04月 ／ 発売日：2021年04月中旬
価格：5,940円 (消費税：540円)
ISBN978-4-13-062927-0 C3041
奥付の初版発行年月：2021年04月 ／ 発売日：2021年04月中旬
内容紹介
予備知識を仮定せず，数学基礎論の基本的結果とその技法やアイディアを広くていねいに解説した本格的教科書，待望の増補版．不完全性定理の意義，算術的完全性定理，ロビンソンによるモデル完全性の初歩事項や演習問題なども追加し，より充実した内容に．
著者プロフィール
新井 敏康（アライ トシヤス）
東京大学大学院数理科学研究科教授
上記内容は本書刊行時のものです。
目次
はじめに
数学基礎論の問題構制
本書の構成
I部 入門篇
第1章 １階論理入門
第2章 計算理論入門
第3章 不完全性定理
II部 基礎篇
第4章 「基礎篇」の準備
第5章 モデル理論
第6章 計算理論
第7章 集合論
第8章 証明論
付録A 補遺
付録B 演習略解
付録C 文献案内
Mathematical Logic
Expanded Revised Edition
Toshiyasu ARAI