逻辑狗·数理逻辑能力培养·儿童思考技巧提升方案2020.4(德) 杰西卡·德拉特, 等著 面向计算机科学的数理逻辑2007.06(英) 哈斯, (英) 瑞安, 著 逻辑狗·数理逻辑能力培养·幼儿思考技巧提升方案2020.4(德) 季泽拉·吕克, 等著 波科学的数理逻辑2011.5黄志洵, 著 数理逻辑情景绘本2015.8蓝迪儿童发展规划组, 编著 数学家用的数理逻辑教程2018.12(德) Y. I. 马宁 (Yu. I. Manin) , (英) B. 齐尔伯 (B. Zilber) , 著 逻辑学引论2004.01陈爱华, 编著 数理逻辑情景绘本2015.5蓝迪儿童发展规划组, 编著 数理逻辑情景绘本2015.6蓝迪儿童发展规划组, 编著 哲学逻辑引论2013.6张学立, 等编著 面向对象空间逻辑2009.8毛明毅, 陈志成, 何华灿, 著 弗雷格逻辑哲学与现代数理逻辑思潮2006.11郭泽深, 著 数理逻辑与集合论精要与题解2016.9王宏, 杨明, 编著 数学逻辑基础2009.9吴顺子, 著 半符号逻辑2004.张蔼珠, 陈思为, 著