待望の本格専門書。純粋モデル理論と応用モデル理論の基本事項から最近の結果まで。

第１部　純粋モデル理論（基本事項
飽和モデル、素モデル
体の理論
独立性概念
可算範疇性　ほか）
第２部　応用モデル理論（Ｆｒａ¨ｉｓｓ´ｅ構成法
付値体のモデル理論
順序極小構造
整数論と数理論理学
ヒルベルト第５問題の一般化とＰｉｌｌａｙ予想）