数学逻辑基础2009.9吴顺子, 著 相识数学逻辑2010.8黄忠裕, 赵焕光, 著 逻辑与思维2015.8《逻辑与思维》编委会, 主编 数学·逻辑·语言2015.6傅鹂, 著 逻辑学2017.4《逻辑学》编写组, 编 面向对象空间逻辑2009.8毛明毅, 陈志成, 何华灿, 著 逻辑学2018.8《逻辑学》编写组, 编 数字逻辑设计及应用2014.9姜书艳, 主编 数学与逻辑2019.4(美) 马克·卡茨 (Mark Kac) , (美) 斯坦尼斯洛·乌拉姆 (Stanislaw M. Ulam) , 著 数字逻辑2011.4程书伟, 张丹, 张华, 主编 数字逻辑2006.11韩进, 主编 数字逻辑2010.9卫朝霞, 茹鹏, 编著 数字逻辑2005.12谭淑梅, 著 数字逻辑2019.7张辉宜, 丁刚, 主编 数字逻辑2004.12裴亚男, 付智辉, 主编