陆万钟老师的经典数理逻辑教材，内容详实，知识点突出，例子丰富。 全书主要介绍了命题逻辑，一阶谓词逻辑...

一本有关编译的很不错的教材，很多老师推荐的，讲的很详细，有需要的可以看看。