数理逻辑2020.8余俊伟, 赵晓玉, 裘江杰, 张立英, 著 数理逻辑2008.05(德) 艾宾浩斯 (Ebbinghaus,H.D.) , 著 数理逻辑2010.8汪芳庭, 编著 数理逻辑2004.01毕富生, 著 数理逻辑2003.(英) 汉密尔顿, 著 数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑导引2017.9冯琦, 编著 数理逻辑基础2012.1张振华, 著 数理逻辑入门2018.12(美) 雷蒙德·M.斯穆里安 (Raymond M. Smullyan) , 著 代数与数理逻辑2005.王世强, 著 几何与数理逻辑2007.05汤璪真, 著 数理逻辑引论2016.8李涛, 张岩, 刘峰, 主编 数理逻辑教程2014.9(英) 贝尔 (Bell,J.) , 著