形而上学的逻辑基础2004.(英) 达米特 (Dummett,M.) , 著 拨开迷雾的思维工具2016.7王仁法, 著 科学逻辑与科学方法论2003.09林定夷, 著 数学思想方法2009.08吴炯圻, 林培榕, 编著 McCarthy函数和Ackermann函数2017.6刘培杰数学工作室, 编译 走进逻辑思维训练营2012.1游程, 主编 逻辑思维提高训练营2020.3何其, 著 科学逻辑与科学方法论2003.08林定夷, 著 错误逻辑2008.郭开仲, 著 求解思维的逻辑2009.12张义生, 著 中西逻辑的邂逅2013.4邱娅, 著 应用逻辑2007.07(美) 尼罗德 (Nerode,A.) , (美) 肖尔 ( Shore,R.A.) , 著 符号逻辑2016.4(美) 安格勒 (Agler,D.W.) , 著 聪明人玩的118个逻辑思维游戏2006.07方瑾, 编著 数学与逻辑2019.4(美) 马克·卡茨 (Mark Kac) , (美) 斯坦尼斯洛·乌拉姆 (Stanislaw M. Ulam) , 著