普通高等教育“十一五”国家级规划教材：计算理论与符号逻辑
《普通高等教育“十一五”国家级规划教材：计算理论与符号逻辑》对计算理论和数理逻辑中一组极为基本的问题和重要概念进行详细介绍。以boolos等的经典教材computability and logic为出发点，从教学效果出发，对内容做了简化和充实。《普通高等教育“十一五”国家级规划教材：计算理论与符号逻辑》注重体现数理逻辑在计算机科学研究中的应用，强调直观感受与理论分析相结合。对定义、定理的引入进行了精心设计，采用了易于理解的证明体例，重要章节之后都有小结。力图引导读者跨越技术细节，更多地关注定义、定理背后所隐藏的一般思维模式和思想方法，使理论学习不再枯燥乏味。 《普通高等教育“十一五”国家级规划教材：计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材，对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益。