＞数理論理学 松本和夫
はあまり丁寧じゃないから、基礎論初めての人には勧めない。