目次
等式の体系
計算の理論
述語論理
モデルの理論
自然数論（形式体系編；超準モデル編）
実数論（代数編；解析編）
著者等紹介
田中一之［タナカカズユキ］
１９７８年東京工業大学理学部情報科学科卒。同大学院理工学研究科博士課程中退。１９８６年カリフォルニア大学バークレイ校Ｐｈ．Ｄ．（数学）。東京工業大学理学部助手、東北大学理学部助教授を経て、１９９７年より東北大学大学院理学研究科数学専攻教授。その間、ペンシルバニア州立大学（１９９０‐９１）とオックスフォード大学（１９９５）にて客員研究員
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
