数理逻辑入门2017.9宋伟, 编著 大易数理逻辑2016.12罗翊重, 著 代数与数理逻辑2005.王世强, 著 几何与数理逻辑2007.05汤璪真, 著 数理逻辑十二讲2017.3宋方敏, 吴骏, 编著 数理逻辑是什么2018.12(英) 约翰·纽瑟姆·克罗斯利 (John Crossley) , 等著 数理逻辑实验教程2010.7李娜, 编著 数理逻辑与数理方法研究2018.12刘桂利, 著 互逆主义数理逻辑2004.04周训伟, 著 作为哲学的数理逻辑2016.11杨睿之, 著 数理逻辑与集合论2016.1房元霞, 赵汝木, 盛秀艳, 编著 数理逻辑 : 第2版2018.12(德) H.D.埃宾豪斯 (H. D. Ebbinghaus) , 著 数理逻辑的思想和方法2005.10李娜, 著 数理逻辑的思想与方法2016.4李娜, 编著 数理逻辑贴纸2012.11李翔, 主编