数字逻辑2004.12裴亚男, 付智辉, 主编
数字逻辑2005.04杨树文, 雍丽英, 王知强, 主编
数字逻辑基础2009.12陈光梦, 编著
实用数字逻辑2009.08刘明亮, 编著
数理逻辑的思想与方法2016.4李娜, 编著
逻辑学基础教程2003.09南开大学哲学逻辑学教研室, 编著
数理逻辑2007.李未, 著
数理逻辑2019.7张再跃, 张晓如, 编著
数理逻辑2014.3李未, 著
多值逻辑的理论和方法2008.霍书全, 著
数理逻辑的思想和方法2005.10李娜, 著
数理逻辑导引2017.9冯琦, 编著
半符号逻辑2004.张蔼珠, 陈思为, 著
数理逻辑引论2008.04朱梧槚, 肖奚安, 编著
数理逻辑基础2015.11胡世华, 陆钟万, 著