数学逻辑基础2009.9吴顺子, 著 数字逻辑基础2004.05刘延兴, 编著 数字逻辑基础2004.01陈光梦, 编著 数字逻辑基础2009.12陈光梦, 编著 相识数学逻辑2010.8黄忠裕, 赵焕光, 著 逻辑学基础教程2003.09南开大学哲学逻辑学教研室, 编著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2012.1张振华, 著 数学·逻辑·语言2015.6傅鹂, 著 逻辑学2017.4《逻辑学》编写组, 编 面向对象空间逻辑2009.8毛明毅, 陈志成, 何华灿, 著 逻辑学2018.8《逻辑学》编写组, 编 数理逻辑入门2013.11李锡胤, 编 数字逻辑设计及应用2014.9姜书艳, 主编