数学逻辑基础2009.9吴顺子, 著 形式逻辑2016.4华东师范大学哲学系逻辑学教研室, 编 相识数学逻辑2010.8黄忠裕, 赵焕光, 著 计量逻辑与模糊逻辑2015.9陕西师范大学数学研究所, 编 中国逻辑史研究2017.9中国逻辑学会中国逻辑史专业委员会, 编 现代逻辑设计2006.03(美) 卡茨 (Katz,R.H.) 等, 著 面向对象空间逻辑2009.8毛明毅, 陈志成, 何华灿, 著 迷人的逻辑题2018.9(英) 亚历克斯·贝洛斯, 著 数字逻辑设计项目教程2020.1丁向荣, 贾萍, 赵慧, 朱云鹏, 编著 数字逻辑的图形方法2003.12陈偕雄, 余堂军, 著 数字逻辑设计及应用2014.9姜书艳, 主编 数学逻辑2004.04武庆生, 邓建, 编著 逻辑学2008.07王法学, 编著 逻辑视阈中的逻辑真理问题研究2012.12毕富生, 著 数字逻辑2011.4程书伟, 张丹, 张华, 主编