推理与证明2006.01张顺燕, 编著 函数导数与推理证明2017.12郭键, 主编 推理与证明的故事2014.4(韩) 吴菜焕, 著 证据推理研究2016.1周蔚, 著 证明方法与理论2015.11张寅生, 著 几何定理机器证明的基本原理2010.8吴文俊, 著 证明2014.9(澳) 帕尔玛, 著 诉讼证明责任与证明标准研究2012.9王圣扬, 著 数学证明2015.6萧文强, 著 几何定理机器证明的几何不变量方法2015.4张景中, 高小山, 周咸青, 著 芳草斜阳路2012.1席与明, 著 证据推理理论、方法及其在决策评估中的应用2016.12朱卫东, 等著 证据与证明2006.11黄维智, 著 素数定理的初等证明2017.1潘承彪, 潘承洞, 著 结构证明论2019.6马明辉, 编著