数字逻辑2005.04杨树文, 雍丽英, 王知强, 主编
数学与逻辑2014.于雷, 编著
数字逻辑与数字电路2007.08徐晓光, 编著
数字逻辑基础2009.12陈光梦, 编著
实用数字逻辑2009.08刘明亮, 编著
计量逻辑与模糊逻辑2015.9陕西师范大学数学研究所, 编
数理逻辑的思想与方法2016.4李娜, 编著
逻辑学基础教程2003.09南开大学哲学逻辑学教研室, 编著
数理逻辑2007.李未, 著
数理逻辑2019.7张再跃, 张晓如, 编著
数理逻辑2014.3李未, 著
数理逻辑引论与归结原理2005.王国俊, 编著
逻辑、知识与认知逻辑2017.8刘邦凡, 著
数理逻辑导引2017.9冯琦, 编著
半符号逻辑2004.张蔼珠, 陈思为, 著