数理逻辑入门2018.12(美) 雷蒙德·M.斯穆里安 (Raymond M. Smullyan) , 著 数理逻辑入门2013.11李锡胤, 编 数理逻辑入门2017.9宋伟, 编著 数理逻辑2014.3李未, 著 数理逻辑2007.李未, 著 数理逻辑2019.7张再跃, 张晓如, 编著 数理逻辑2006.12(美) 恩德滕, 著 数理逻辑2010.2张清宇, 著 数理逻辑2006.01(美) 恩德滕, 著 数理逻辑2014.11郝兆宽, 杨睿之, 杨跃, 著 数理逻辑2019.9郝兆宽, 杨睿之, 杨跃, 著 数理逻辑2006.11刑滔滔, 著 数理逻辑2019.7孙希文, 编著 数理逻辑2013.张再跃, 张晓如, 主编 数理逻辑2020.8余俊伟, 赵晓玉, 裘江杰, 张立英, 著