数理逻辑2020.8余俊伟, 赵晓玉, 裘江杰, 张立英, 著 数理逻辑2008.05(德) 艾宾浩斯 (Ebbinghaus,H.D.) , 著 数理逻辑2010.8汪芳庭, 编著 数理逻辑2004.01毕富生, 著 数理逻辑引论与归结原理2008.王国俊, 周红军, 著 数理逻辑引论与归结原理2003.08王国俊, 著 数理逻辑2003.(英) 汉密尔顿, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑导引2017.9冯琦, 编著 数理逻辑基础2012.1张振华, 著 数理逻辑入门2018.12(美) 雷蒙德·M.斯穆里安 (Raymond M. Smullyan) , 著 数理逻辑教程2014.9(英) 贝尔 (Bell,J.) , 著 数理逻辑基础2003.陈慕泽, 著 数理逻辑入门2013.11李锡胤, 编