数字逻辑2004.12裴亚男, 付智辉, 主编 数字逻辑2005.04杨树文, 雍丽英, 王知强, 主编 数字逻辑与数字电路2007.08徐晓光, 编著 哈佛逻辑课2014.7穆臣刚, 著 数字逻辑基础2009.12陈光梦, 编著 实用数字逻辑2009.08刘明亮, 编著 应用逻辑：第2版2006.(美) 尼罗德 (Nerode,A.) 等, 著 逻辑的力量2019.10(英) 郑乐隽, 著 逻辑与智慧2017.10刘玉仙, 编著 生活中的逻辑与智慧2010.5张智光, 编著 哈佛逻辑课2015.5穆臣刚, 著 哈佛逻辑课2017.8穆臣刚, 著 哈佛逻辑课2019.8穆臣刚, 著 麦卡锡函数和阿克曼函数2012.8刘培杰, 康大臣, 编著 哲学逻辑2007.(　) 格博尔, 主编