形式逻辑2015.8蔡贤浩, 宋荣, 主编 形式逻辑2003.05贾娇燕, 著 普通逻辑学简明教程2009.02刘均冀, 主编 普通逻辑学简明教程2006.刘韵冀, 主编 应用逻辑中的数学问题2020.3(英) D.M.加贝 (Dov M. Gabbay) , 等编 数字系统逻辑设计2018.3王维华, 吕知辛, 编著 数字系统逻辑设计2003.01王维华, 曲兆瑞, 编著 当代形式逻辑及其在人工智能中的应用理论研究2010.12龚启荣, 等著 数字系统逻辑设计技术2009.8刘锡海, 任长明, 编著 安全协议形式化分析与验证2019.10肖美华, 著 智者的思辨花园2009.11郑伟宏, 著 形式逻辑2011.12秦振泽, 主编 形式化方法导论2015.张广泉, 编著 医学形式逻辑学2017.3滕国兴, 许锬, 张绍艳, 主编 数字逻辑系统与设计习题及解答2005.05徐维, 著