数理逻辑 北大

高级数理逻辑的第一章，介绍了高级数理逻辑的发展，及相关应用~

很 有用的。。。。介绍的 蛮透的.。。。。。。。。。。。。。。。。。。。。。。。。

哈工大数理逻辑的历年考试题，一共三套，提供给学弟学妹们复习使用。

北京大学王捍贫老师2012-2013年的数理逻辑上课讲义，网络上有配套的视频

本书是国防科大王兵山主编的一本1993年版本的数理逻辑，如果有考博需要可以下载哦！

数理逻辑.H.B.Enderton中文版

国防科大数理逻辑考博往年试题及解析，非常有用，有用有用

哈尔并工业大学计算机学院06级数理逻辑课程讲义详细

Mathematical Logic Foundation (Hilbert Ackman)

数理逻辑讲义，较为通俗。适合入门，很好的入门教材。适合入门，很好的入门教材。