作者	沈恩绍
出版社
出版时间	2003-04-01

特色：
逻辑部分内容较同类教材丰富，包括通常在研究生课程中才介绍的完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。本书的一个特色是采用了Tableaux作为形式化的演绎推理平台，这种语法证明系统更直观简单、易学易用，而且其思想在计算机科学与人工智能中有广泛的应用。另一特色是更侧重于语义或模型论的观念与方法及其应用(如model checking的原始想本书可供高等院校计算机专业(本科)、数理专业的师生以及立志于进一步读研的读者阅读和参考。

本书由基础集论与经典(一阶)逻辑两部分内容组成，为高标准的计算机科学专业(本科)教材。集论部分的范围与常规教材大体相似，区别在于相关内容的展开方式与深度。这里采用的“非标准”模式可称为“经典集论的公理化修正版”：强调公理化思想及构造性技巧；对“关系演算”及“归纳与递归”两个板块做了较深入的处理；计算机科学中有用的若干组合和图论中的原理与方法被有机地嵌入到集论的框架之中；以较直观的方式给出了集论世界的“全景图”，但不是完整地介绍公理集合论。