趣味逻辑2016.董栋, 主编 数字逻辑2006.09杨明丰, 著 数字逻辑设计项目教程2016.丁向荣, 贾萍, 赵慧, 朱云鹏, 编著 普通逻辑2010.《普通逻辑》编写组, 著 逻辑学2019.3(英) 丹·克莱恩 (Dan Cryan) , (英) 沙龙·沙提勒 (Sharron Shatil) , 文 数理逻辑导引2017.9冯琦, 编著 多值数字逻辑理论2006.11朱玉成, 著 半符号逻辑2004.张蔼珠, 陈思为, 著 数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 简明逻辑2020.8(美) 德博拉·J.贝内特 (Deborah J. Bennett) , 著 数理逻辑基础2012.1张振华, 著 McCarthy函数和Ackermann函数2017.6刘培杰数学工作室, 编译 逻辑基础问题2018.10(美) 吉拉·谢尔, 著