逻辑与方法导论2006.02何向东, 主编
当代形式逻辑及其在人工智能中的应用理论研究2010.12龚启荣, 等著
逻辑与方法论2004.08钱为刚, 著
数理逻辑的思想与方法2016.4李娜, 编著
形式逻辑原理2007.04诸葛殷同等, 著
弗协调逻辑2003.01金顺福, 张清宇, 张家龙, 著
逻辑推理2011.7余式厚, 编著
应用逻辑2007.07(美) 尼罗德 (Nerode,A.) , (美) 肖尔 ( Shore,R.A.) , 著
数理逻辑2014.3李未, 著
数学逻辑基础2009.9吴顺子, 著
数理逻辑2019.7张再跃, 张晓如, 编著
数理逻辑2007.李未, 著
逻辑与知识2005.(英) 罗素, 著
半符号逻辑2004.张蔼珠, 陈思为, 著
数理逻辑引论2008.04朱梧槚, 肖奚安, 编著