逻辑与计算机设计基础实验与课程设计2008.05施青松等, 著 现代逻辑设计2006.03(美) 卡茨 (Katz,R.H.) 等, 著 逻辑与计算机科学哲学2019.11潘沁, 著 逻辑的引擎2018.1(美) 马丁·戴维斯, 著 数字逻辑设计项目教程2020.1丁向荣, 贾萍, 赵慧, 朱云鹏, 编著 计算分子进化2008.06(英) 杨子恒, 著 逻辑设计基础2006.(美) 马科维兹 (Marcovitz,A.B.) , 著 逻辑2005.金岳霖, 著 逻辑2011.10金岳霖, 著 逻辑2010.金岳霖, 著 逻辑2007.06雍琦, 编著 逻辑学基础教程2003.09南开大学哲学逻辑学教研室, 编著 逻辑导论2004.09周祯祥, 胡泽洪, 主编 逻辑大全2017.(英) 奥卡姆, 著 逻辑与思维2015.8《逻辑与思维》编委会, 主编