资源有用程度：

老师的ppt > 精要与题解 >> 教材。

数理逻辑那部分遇到问题（比如“罗素公理系统”结合论的证明）可以去参考《数理逻辑引论》（王宪钧, 北京: 北京大学出版社, 1982.），是我们这本教材的直接参考书。

考试复习往年题很有用。