逻辑与方法导论2006.02何向东, 主编 数字逻辑与数字电路2007.08徐晓光, 编著 数字逻辑基础2009.12陈光梦, 编著 实用数字逻辑2009.08刘明亮, 编著 逻各斯与逻辑斯蒂2016.10蔡禹僧, 著 逻辑与文化2006.郭桥, 著 逻辑与方法论2004.08钱为刚, 著 数理逻辑2010.2张清宇, 著 数理逻辑与集合论2016.1房元霞, 赵汝木, 盛秀艳, 编著 数理逻辑的思想与方法2016.4李娜, 编著 金岳霖的逻辑分析思想研究2016.9郑毅, 著 基于动态信息的逻辑研究2017.8董英东, 著 数理逻辑2007.李未, 著 易经良基2013.1曾仕强, 刘君政, 著 Fermat’s Last Theorem证明并7进复平面数阵求解素数2016.9谭仕芬, 著