互逆主义数理逻辑 【数理化】

本书将互逆主义研究应用于数理逻辑中，将地规论、辩证论用于计算机人工智能领域的教学和科研过程。

趣题大师的逻辑训练 【数理化】

为纪念2010年5月22日离世的数学科普大师马丁·加德纳，将原“加德纳趣味数学系列”丛书精选后重新包装出版。

相似数学逻辑 【数理化】

本书主要介绍相似数学逻辑，主要内容包括数学概念，数学命题，数学推理，数学证明，逻辑基础等。本书可作为从事数学专业学习与工作的有关人员的数学认识论的入门参考书，也可作为从事其它专业工作的数学业余爱好者的.....

数理逻辑的思想与方法 【数理化】

本书主要介绍了集合、集合运算的基本思想和方法、命题逻辑的思想和方法、一阶谓词逻辑的思想和方法等内容。

缺省逻辑的扩充 【数理化】

本书首先从形式上较为简单的有限的无前提正规闭缺省理论入手，系统的研究了有限的无前提正规闭缺省理论的相容扩充，对相容扩充进行了分类；同时，对缺省规则固定时，缺省理论可能有的不同相容扩张的个数进行了估计。...

数学家的逻辑 【数理化】

本书是数理逻辑的基础读物，对递归论、公理集合论、模型论、证明论与逻辑演算五部分的基本内容、方法作了实质性的介绍。

数理逻辑 第2版 英文版 【数理化】

本书是数理逻辑课程的教材。

数理逻辑与集论 新数入门概念 【数理化】

数理逻辑 【数理化】

本书为中国社会科学院研究生重点教材之一种，本书叙述了数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑、演算以及刻画句法和语义之间关系的完全性定理；模型论内容；集合论知识；哥德尔第二不完全定理及其所...

逻辑与演绎科学方法论导论 【数理化】

本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。