李凡长，刘贵全，佘玉梅著2005 年出版181 页ISBN：7541622044
本书系统地介绍了动态模糊集合论的初步认识和动态模糊逻辑的系统知识，分10章。
陈爱华主编；苏向荣，徐传宇副主编2013 年出版266 页ISBN：9787564140854
本书既融思想性，科学性，审美性和趣味性为一体，同时又有形式逻辑的形式化，公式化，精确化特征，形成了多维立体宽广视野。引进现代逻辑发展中的批判性思维向度，并在习题中编排了相关的应用练习。被章有“关键术语......
朱梧槚，肖奚安编著2008 年出版243 页ISBN：7561140339
本书主要介绍了命题与命题联结词，命题逻辑演算，谓词与量词，谓词逻辑演算，逻辑演算系统的整体特征，非经典逻辑纲要。
何新著2001 年出版195 页ISBN：7531638991
本书所研究的历史形态、概念集合具有拓扑结构和连续映射变换的性质。作者关于这个领域的论文，只是显示了这种新型逻辑一种幼稚的初创形态，因而仅具有一种导引、拓荒的意义。...
（英）格雷林（Grayling，A.C.）著；牟 博译1990 年出版452 页ISBN：750040719X
A.C.格雷林，伦敦大学伯克贝学院哲学高级讲师、牛津大学圣安妮学院特约研究员。著有《哲学逻辑导论》（1982）、《驳怀疑论》（1986）、《贝克莱：中心论证》（1986）等书。担任《卫报》专栏作者多年，并为《观察家》、《......
李涛，张岩，刘峰主编2016 年出版140 页ISBN：9787560361468
本书内容主要侧重于逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其它分支的共同基础。全书共分五章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演...
龚启荣，朱霖，吴春红等著2009 年出版272 页ISBN：9787121084157
本书作为真正的逻辑科学的传统形式逻辑源远流长，具有始终深深地植根于和自然语言形影不离的普通逻辑思考实际、在理论上坚持论证不许循环等深刻正确的主导思想，向人类认识世界、改造世界提供效能卓著的从已知...
张学立，董英东等编著2013 年出版326 页ISBN：9787030379313
哲学逻辑既是哲学同时又是逻辑。哲学逻辑不是一种特殊的逻辑，逻辑主要是研究后承关系、有效推理的理论。尽管现代形式逻辑或者符号逻辑采用数学的方法来表达非常富有成效，但是逻辑仍然可以用多种方式进行研究...
王国俊著2003 年出版216 页ISBN：7030115791
本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...
李涛，张岩，刘峰主编2011 年出版140 页ISBN：9787560334110
数理逻辑是离散数学的重要组成部分之一，是计算机科学的数学基础。本书内容主要侧重于逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其它分支的共同基础。全书共分五章，分别介绍了数理逻辑...
