Introduction to Mathematical Logic, Sixth Edition

说实话，里面有些部分写的简略了，读起来连不着前后文。总体来说，觉得godel那部分可以省略。毕竟指望那么点东西讲完godel还是过于简略了。后面关于可计算性的东西没有读。

强推，数理逻辑非常好的教科书，比国内的清晰易懂。补标。