相识数学逻辑2010.8黄忠裕, 赵焕光, 著
相识数学2006.中央电视台《百家讲坛》栏目组, 编
相干与衍推谓词逻辑2018.冯棉, 著
相干逻辑研究2010.5冯棉, 著
数学逻辑基础2009.9吴顺子, 著
数学·逻辑·语言2015.6傅鹂, 著
逻辑学2017.4《逻辑学》编写组, 编
面向对象空间逻辑2009.8毛明毅, 陈志成, 何华灿, 著
逻辑学2018.8《逻辑学》编写组, 编
数字逻辑设计及应用2014.9姜书艳, 主编
数字逻辑基础2004.05刘延兴, 编著
数字逻辑基础2004.01陈光梦, 编著
数字逻辑2011.4程书伟, 张丹, 张华, 主编
数字逻辑2006.11韩进, 主编
数字逻辑2010.9卫朝霞, 茹鹏, 编著