数理逻辑基础与粒计算2007.闫林, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2012.1张振华, 著 数理逻辑基础2003.陈慕泽, 著 数理逻辑2014.3李未, 著 数理逻辑2007.李未, 著 数理逻辑2019.7张再跃, 张晓如, 编著 数理逻辑2006.12(美) 恩德滕, 著 数理逻辑2010.2张清宇, 著 数理逻辑2006.01(美) 恩德滕, 著 数理逻辑2014.11郝兆宽, 杨睿之, 杨跃, 著 数理逻辑2019.9郝兆宽, 杨睿之, 杨跃, 著 数理逻辑2006.11刑滔滔, 著 数理逻辑2019.7孙希文, 编著