数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 数理逻辑引论2016.8李涛, 张岩, 刘峰, 主编 数理逻辑引论2011.11李涛, 主编 数理逻辑2014.3李未, 著 数理逻辑2007.李未, 著 数理逻辑2019.7张再跃, 张晓如, 编著 数理逻辑2006.12(美) 恩德滕, 著 数理逻辑2010.2张清宇, 著 数理逻辑引论与归结原理2005.王国俊, 编著 数理逻辑2006.01(美) 恩德滕, 著 数理逻辑2014.11郝兆宽, 杨睿之, 杨跃, 著 数理逻辑2019.9郝兆宽, 杨睿之, 杨跃, 著 数理逻辑2006.11刑滔滔, 著 数理逻辑2019.7孙希文, 编著 数理逻辑2013.张再跃, 张晓如, 主编