刘延兴著2004 年出版122 页ISBN：7113058132
本书为《数字逻辑基础》的配套习题集，是作者多年任教期间所收集的各类考题，提供给读者作为自我测验，巩固所学知识。
彭漪涟著1991 年出版256 页ISBN：7208009872
本书追索30年代我国学术界展开的有关形式逻辑与辩证法相互关系的论战，内容有严复、梁启超、王国维、章太炎、胡适、章士钊等人。
张清宇，郭世铭，李小五著2007 年出版435 页ISBN：7802303990
本书主要内容为一阶逻辑、模态逻辑、时态逻辑、条件句逻辑、弗协逻辑和哥德尔不完全性定理。本书具有较高的学术价值，在理论或实践上有重要意义，对推动学科建设与发展有重要作用。...
达哇著2008 年出版186 页ISBN：9787225031330
本书从理性角度，对藏传因明思维逻辑形式进行了比较通俗的研究和比较，从而使原本艰涩的藏传因明哲学变得清晰和易读。
