数理論理学の三つの基本的な定理

「数理論理学の三つの基本的な定理（完全性定理・不完全性定理・カット除去定理）が一冊にまとまった本があると便利なんだけどなあ」といつもつぶやいていたんだけど、該当する本がみつかったかもしれません。スマリヤンの古い教科書が13年も前にDover落ちしています。

First-Order Logic (Dover Books on Mathematics)

目次には、三つとも載っています。証明も全部載っているか、実物を入手して確認しなくちゃ。