证明2014.9(澳) 帕尔玛, 著 数学证明2015.6萧文强, 著 结构证明论2019.6马明辉, 编著 证明达尔文2015.1(美) 蔡汀, 著 证明2018.1(日) 松本清张, 著 证明2011.3(英) 格拉斯, 主编 几何定理机器证明的基本原理2010.8吴文俊, 著 证明方法论2020.9肖忆雪, 张锰霖, 卢玮, 著 证明方法与理论2015.11张寅生, 著 几何定理机器证明的几何不变量方法2015.4张景中, 高小山, 周咸青, 著 诉讼证明责任与证明标准研究2012.9王圣扬, 著 数学证明之美2011.11(英) 波斯特, 著 证据证明力研究2013.3李明, 著 证明评价原理2011.7段厚省, 张峰, 著 诉讼证明科学2007.01刘昊阳, 著