形式化验证模型检测和数理逻辑经典书籍系列(2)
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：ComputabilityandLogic5thEdition；BasicPapersonUndecidablePropositions,UnsolvableProblemsandComputableFunctions；HandbookofPhilosophicalLogicVolume4；Afirstcourseinlogic；计算理论简明纲要(v1.1)
下载地址
用户评论
资料很详尽 谢谢分享
我感觉挺好的，对我们的一门课考试很有帮助，谢啦
好像打不开啊。咋回事呢
谢谢提供这个方面的资料，很不错的，谢啦。
Excellent! Heartily recommend. Boolos' book is up-to-date; I can't find this edition in my library! Davis' collection is also a good reference.