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