数理逻辑基础2012.1张振华, 著
逻辑与思维2015.8《逻辑与思维》编委会, 主编
数学·逻辑·语言2015.6傅鹂, 著
逻辑学2017.4《逻辑学》编写组, 编
面向对象空间逻辑2009.8毛明毅, 陈志成, 何华灿, 著
逻辑学2018.8《逻辑学》编写组, 编
数理逻辑的思想与方法2016.4李娜, 编著
迷人的逻辑题2018.9(英) 亚历克斯·贝洛斯, 著
数理逻辑入门2013.11李锡胤, 编
数字逻辑的图形方法2003.12陈偕雄, 余堂军, 著
数字逻辑设计及应用2014.9姜书艳, 主编
数学与逻辑2019.4(美) 马克·卡茨 (Mark Kac) , (美) 斯坦尼斯洛·乌拉姆 (Stanislaw M. Ulam) , 著
现代逻辑导论2004.09张学立, 陈锐, 编著
无穷小量的求和2016.1(俄罗斯) 纳汤松, 著
数字逻辑2011.4程书伟, 张丹, 张华, 主编