数理逻辑基础与粒计算2007.闫林, 著
非经典数理逻辑与近似推理2008.王国俊, 著
可计算性与数理逻辑2005.06(美) 布勒斯 (Boolos,G.S.) 等, 著
数理逻辑 : 第2版2018.12(德) H.D.埃宾豪斯 (H. D. Ebbinghaus) , 著
可计算性与数理逻辑2003.06(美) 布勒斯 (Boolos,G.S.) 等, 著
数理逻辑之美2012.8王路江, 主编
数理逻辑贴纸2012.11李翔, 主编
逻辑的思想与方法2005.06苑成存, 著
中国画数理逻辑研究2013.11孔维强, 著
逻辑方法与创新思维2005.09迟维东, 编著
波科学的数理逻辑2011.5黄志洵, 著
面向计算机科学的数理逻辑2007.06(英) 哈斯, (英) 瑞安, 著
西方逻辑思想史2004.05宁莉娜等, 著
数学家用的数理逻辑教程2018.12(德) Y. I. 马宁 (Yu. I. Manin) , (英) B. 齐尔伯 (B. Zilber) , 著
逻辑中的表列方法2013.7孔红, 著