计量逻辑与模糊逻辑2015.9陕西师范大学数学研究所, 编
超越普里瓦洛夫2015.5刘培杰数学工作室, 编
逻辑与方法论2004.08钱为刚, 著
数理逻辑2007.李未, 著
数理逻辑2019.7张再跃, 张晓如, 编著
数理逻辑2014.3李未, 著
多值逻辑的理论和方法2008.霍书全, 著
数理逻辑的思想和方法2005.10李娜, 著
数理逻辑引论与归结原理2005.王国俊, 编著
逻辑、知识与认知逻辑2017.8刘邦凡, 著
数理逻辑导引2017.9冯琦, 编著
逻辑学基础与思维训练2020.10周艳玲, 冯婕, 编著
半符号逻辑2004.张蔼珠, 陈思为, 著
数理逻辑引论2008.04朱梧槚, 肖奚安, 编著
现代逻辑设计2006.03(美) 卡茨 (Katz,R.H.) 等, 著