逻辑学基础教程2003.09南开大学哲学逻辑学教研室, 编著
数理逻辑2007.李未, 著
数理逻辑2019.7张再跃, 张晓如, 编著
数理逻辑2014.3李未, 著
数理逻辑导引2017.9冯琦, 编著
半符号逻辑2004.张蔼珠, 陈思为, 著
数理逻辑引论2008.04朱梧槚, 肖奚安, 编著
数理逻辑基础2015.11胡世华, 陆钟万, 著
数理逻辑基础2015.11胡世华, 陆钟万, 著
迷人的逻辑题2018.9(英) 亚历克斯·贝洛斯, 著
现代逻辑设计2006.03(美) 卡茨 (Katz,R.H.) 等, 著
数理逻辑基础2012.1张振华, 著
数字逻辑的图形方法2003.12陈偕雄, 余堂军, 著
大易数理逻辑2016.12罗翊重, 著
数学逻辑2004.04武庆生, 邓建, 编著