朱霖，陆劲松编著2010 年出版320 页ISBN：9787811262469
本书基本内容简明、通俗。结合已有同类书的特点，更加科学合理的分章断节。其内容含括形式逻辑的对象和意义、概念、命题推理及论证等章节。...
段振坤著2015 年出版273 页ISBN：9787543095991
本书在莱布尼兹和布尔类逻辑代数及《黄帝内经》的基础之上，建立起以阴阳五行四时为基础的类关系逻辑，这是继布尔之后，类逻辑所取得的最为重要的进展。全书以阴阳公理、五行公理和四时公理为基础建立起系统的类...
刘延兴著2004 年出版122 页ISBN：7113058132
本书为《数字逻辑基础》的配套习题集，是作者多年任教期间所收集的各类考题，提供给读者作为自我测验，巩固所学知识。
（英）迈克尔·达米特（Michael Dummett）著；任晓明，李国山译2004 年出版339 页ISBN：7300061915
本书论述当代西方著名哲学家和逻辑学家达米特的逻辑哲学思想。
