相识数学逻辑2010.8黄忠裕, 赵焕光, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 迷人的逻辑题2018.9(英) 亚历克斯·贝洛斯, 著 数理逻辑基础2012.1张振华, 著 非经典数理逻辑与近似推理2008.王国俊, 著 数理逻辑导引2017.9冯琦, 编著 泛逻辑学原理2006.08何华灿等, 著 现代逻辑导论2004.09张学立, 陈锐, 编著 数字逻辑设计及应用2014.9姜书艳, 主编 逻辑2005.金岳霖, 著 逻辑2011.10金岳霖, 著 逻辑2010.金岳霖, 著 逻辑2007.06雍琦, 编著 秒懂逻辑2016.7李伟希, 著