逻辑推理2011.7余式厚, 编著
应用逻辑2007.07(美) 尼罗德 (Nerode,A.) , (美) 肖尔 ( Shore,R.A.) , 著
数理逻辑2014.3李未, 著
数学逻辑基础2009.9吴顺子, 著
数理逻辑2019.7张再跃, 张晓如, 编著
数理逻辑2007.李未, 著
逻辑与知识2005.(英) 罗素, 著
半符号逻辑2004.张蔼珠, 陈思为, 著
数理逻辑引论2008.04朱梧槚, 肖奚安, 编著
相识数学逻辑2010.8黄忠裕, 赵焕光, 著
数理逻辑基础2015.11胡世华, 陆钟万, 著
数理逻辑基础2015.11胡世华, 陆钟万, 著
迷人的逻辑题2018.9(英) 亚历克斯·贝洛斯, 著
数理逻辑基础2012.1张振华, 著
非经典数理逻辑与近似推理2008.王国俊, 著