新控制原理2004.09张南纶, 著 符号透视2003.08李彬, 著 数理逻辑引论与归结原理2005.王国俊, 编著 逻辑与知识2005.(英) 罗素, 著 级差含义的语用-符号研究2014.4张延飞, 著 《逻辑哲学论》研究2007.韩林合, 著 符号简史2019.2(英) 约瑟夫·皮尔西, 著 逻辑设计基础2006.01(美) 马科维奇 (Marcovitz,A.) , 著 逻辑设计基础2016.(美) 罗斯 (Roth,C.H.) , (美) 金尼 (Kinney,L.L.) , 著 数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 相识数学逻辑2010.8黄忠裕, 赵焕光, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 迷人的逻辑题2018.9(英) 亚历克斯·贝洛斯, 著 数理逻辑基础2012.1张振华, 著