モデル理論の代数幾何への応用なら
江田の数理論理学、これは絶対おススメ。