意味と形式の織り成す世界へ―。数学基礎論の入門から最先端までを、大胆な構成と精緻な記述で探る。２１世紀の数学基礎論を切り拓く力作。
もくじ情報：数学基礎論の考え方；第１部　数理論理学入門（等式理論；１階論理；モデルの理論）；第２部　自然数と実数の形式体系（１階算術と不完全性定理；１階算術の超準モデル；実閉体の完全性と決定可能性）；第３部　２階算術と逆数学（実数論と逆数学；２階算術と超準的方法）

田中　一之(タナカ　カズユキ)
１９５５年東京都に生まれる。１９７８年東京工業大学理学部卒業。同大学院理工学研究科博士課程中退。１９８６年カリフォルニア大学バークレー校博士課程修了。Ｐｈ．Ｄ．（数学）。東京工業大学理学部助手、東北大学理学部助教授を経て、１９９７年より東北大学大学院理学研究科数学専攻教授。その間、ペンシルバニア州立大学（１９９０‐１９９１）とオックスフォード大学（１９９５）にて客員研究員。数理論理学の有名専門雑誌Ａｎｎａｌｓ　ｏｆ　Ｐｕｒｅ　ａｎｄ　Ａｐｐｌｉｅｄ　Ｌｏｇｉｃの編集委員（２０１３‐現在）（本データはこの書籍が刊行された当時に掲載されていたものです）