数理逻辑基础与粒计算2007.闫林, 著 非经典数理逻辑与近似推理2008.王国俊, 著 可计算性与数理逻辑2005.06(美) 布勒斯 (Boolos,G.S.) 等, 著 数理逻辑 : 第2版2018.12(德) H.D.埃宾豪斯 (H. D. Ebbinghaus) , 著 可计算性与数理逻辑2003.06(美) 布勒斯 (Boolos,G.S.) 等, 著 数理逻辑贴纸2012.11李翔, 主编 数理逻辑之美2012.8王路江, 主编 中国画数理逻辑研究2013.11孔维强, 著 波科学的数理逻辑2011.5黄志洵, 著 面向计算机科学的数理逻辑2007.06(英) 哈斯, (英) 瑞安, 著 逻辑狗·数理逻辑能力培养·幼儿思考技巧提升方案2020.4(德) 季泽拉·吕克, 等著 逻辑狗·数理逻辑能力培养·儿童思考技巧提升方案2020.4(德) 艾伦·巴斯腾, 等著 逻辑狗·数理逻辑能力培养·儿童思考技巧提升方案2020.4(德) 安娜贝拉·迪法厄斯, 等著 逻辑狗·数理逻辑能力培养·幼儿思考技巧提升方案2020.4(德) 多丽丝·费舍尔, 等著 逻辑狗·数理逻辑能力培养·幼儿思考技巧提升方案2020.4(德) 朱莉娅·希勒, 等著