数理逻辑的思想与方法2016.4李娜, 编著 数理逻辑的思想与方法2012.10李娜, 著 数理逻辑的思想和方法2005.10李娜, 著 数理逻辑与数理方法研究2018.12刘桂利, 著 数理逻辑2014.3李未, 著 数理逻辑2007.李未, 著 数理逻辑2019.7张再跃, 张晓如, 编著 数理逻辑2006.12(美) 恩德滕, 著 数理逻辑2010.2张清宇, 著 数理逻辑2006.01(美) 恩德滕, 著 数理逻辑2014.11郝兆宽, 杨睿之, 杨跃, 著 数理逻辑2019.9郝兆宽, 杨睿之, 杨跃, 著 数理逻辑2006.11刑滔滔, 著 数理逻辑2019.7孙希文, 编著 数理逻辑2013.张再跃, 张晓如, 主编