ちくま学芸文庫から
公理と証明　─証明論への招待
彌永昌吉, 赤攝也 著

が出ましたね。私はまだ手にしていないのですが
このスレの中にはもう読破した方もいるのではないでしょうか。
良ければ感想を聞かせてください。