数理逻辑入门2013.11李锡胤, 编 数理逻辑入门2017.9宋伟, 编著 数理逻辑的思想与方法2012.10李娜, 著 大易数理逻辑2016.12罗翊重, 著 数理逻辑的思想和方法2005.10李娜, 著 数理逻辑十二讲2017.3宋方敏, 吴骏, 编著 数理逻辑是什么2018.12(英) 约翰·纽瑟姆·克罗斯利 (John Crossley) , 等著 数理逻辑实验教程2010.7李娜, 编著 互逆主义数理逻辑2004.04周训伟, 著 数理逻辑引论与归结原理2003.08王国俊, 著 中国画数理逻辑研究2013.11孔维强, 著 数理逻辑引论与归结原理2005.王国俊, 编著 数理逻辑引论与归结原理2008.王国俊, 周红军, 著 数理逻辑与集合论2016.1房元霞, 赵汝木, 盛秀艳, 编著 作为哲学的数理逻辑2016.11杨睿之, 著