アーノルドの和訳、以前見つけたときに買っておけば良かったなあ、
もう再版とかされないだろうなあ、はぁ

>>429
クロスリーの「現代数理論理学入門」とか
H.-D. Ebbinghaus, J. Flum, W. ThomasとかShoenfieldとか（この順に難しいはず）

「数学基礎論へのいざない」も薄い割にはよく纏まってるかな、あまり優れた本でも無いと思うけど

情報科学に興味があるなら林晋「数理論理学」とか「情報科学における論理」とか
こっちは論理体系の話であって、上の4冊とはちょっと扱ってる話題自体が違う