数理逻辑2004.01毕富生, 著 数理逻辑2003.(英) 汉密尔顿, 著 数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑导引2017.9冯琦, 编著 数理逻辑基础2012.1张振华, 著 数理逻辑入门2018.12(美) 雷蒙德·M.斯穆里安 (Raymond M. Smullyan) , 著 数理逻辑引论2016.8李涛, 张岩, 刘峰, 主编 数理逻辑教程2014.9(英) 贝尔 (Bell,J.) , 著 数理逻辑引论2011.11李涛, 主编 数理逻辑基础2003.陈慕泽, 著 数理逻辑入门2013.11李锡胤, 编 数理逻辑入门2017.9宋伟, 编著 大易数理逻辑2016.12罗翊重, 著