逻辑学2018.8《逻辑学》编写组, 编 半符号逻辑2004.张蔼珠, 陈思为, 著 数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 相识数学逻辑2010.8黄忠裕, 赵焕光, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 迷人的逻辑题2018.9(英) 亚历克斯·贝洛斯, 著 数理逻辑基础2012.1张振华, 著 数理逻辑的思想与方法2016.4李娜, 编著 逻辑体系2014.(英) 穆勒 (Mill,J.S.) , 著 通俗逻辑2017.李天纲, 主编 逻辑体系2017.(英) 穆勒 (Mill,J.S.) , 著 趣味逻辑2016.董栋, 主编 数理逻辑导引2017.9冯琦, 编著 逻辑真2016.12邵强进, 著