数理逻辑引论2011.11李涛, 主编
数理逻辑基础2003.陈慕泽, 著
数理逻辑入门2013.11李锡胤, 编
数理逻辑入门2017.9宋伟, 编著
数理逻辑十二讲2017.3宋方敏, 吴骏, 编著
大易数理逻辑2016.12罗翊重, 著
作为哲学的数理逻辑2016.11杨睿之, 著
数理逻辑引论与归结原理2003.08王国俊, 著
数理逻辑是什么2018.12(英) 约翰·纽瑟姆·克罗斯利 (John Crossley) , 等著
数理逻辑引论与归结原理2008.王国俊, 周红军, 著
数理逻辑实验教程2010.7李娜, 编著
实物与暗物的数理逻辑2006.02宋文淼, 阴和俊, 编著
数理逻辑引论与归结原理2005.王国俊, 编著
数理逻辑与集合论2016.1房元霞, 赵汝木, 盛秀艳, 编著
互逆主义数理逻辑2004.04周训伟, 著