"本书阐述数学证明的基本原理，主要包括证明方法和证明理论，是探讨证明方法和证明理论内在联系和本质特征的数学专著。 “证明方法”集成了常见或具有重要影响并具有逻辑独立性和形式化特征的数学证明方法，分别给出了这些方法的表示公式、例题、相关的定理以及当前的研究前沿状况。 “证明理论”阐述了自希尔伯特倡导建立证明论以来该学科的主要理论，介绍了这些理论的发展脉络，分别给出了这些理论的公理、定理及其证明、例题、当前的研究前沿状况。 本书力图解决以下问题：什么是数学证明？数学证明的通用方法有哪些？关于数学证明取得了哪些重要认识？ 作为跨学科研究的尝试，本书可作为证明论、逻辑、计算机科学与技术、数学哲学等相关领域专业工作者的教材或参考书。 "

"本书阐述数学证明的基本原理，主要包括证明方法和证明理论，是探讨证明方法和证明理论内在联系和本质特征的数学专著。 “证明方法”集成了常见或具有重要影响并具有逻辑独立性和形式化特征的数学证明方法，分别给出了这些方法的表示公式、例题、相关的定理以及当前的研究前沿状况。 “证明理论”阐述了自希尔伯特倡导建立证明论以来该学科的主要理论，介绍了这些理论的发展脉络，分别给出了这些理论的公理、定理及其证明、例题、当前的研究前沿状况。 本书力图解决以下问题：什么是数学证明？数学证明的通用方法有哪些？关于数学证明取得了哪些重要认识？ 作为跨学科研究的尝试，本书可作为证明论、逻辑、计算机科学与技术、数学哲学等相关领域专业工作者的教材或参考书。 "

司法人员不是神仙，无法全知全觉，也无法穿越时空隧道，只能通过有限甚至短缺的证据去认识发生在过去的案件事实。于是，那事实便如水中之月镜中之花一般而具有了模糊性。《司法证明方法与推定规则》脱胎于何家弘教授的代表作《短缺证据与模糊事实：证据学精要》。代表作出版后广受瞩目，人民网、凤凰网、新浪网、网易网、法制网、中国普法网、中国日报网等均有报道，网页上更不乏读者热评。代表作出版后屡获奖项，并入选2015年国家社科基金中华学术外译项目。此次，何家弘教授根据外国读者的阅读习惯对代表作进行了重撰精修，重点论述司法证明与推定的相关主题，使本书更符合逻辑体系。例如，增加了“司法证明的难题”作为第一章，而且以近年在中国引起广泛关注的三起“撞倒抑或自摔”的案件为例，展开关于证据短缺下司法证明难题的论述。体例方面，重新组织章节目结构；内容方面，重新调整补充并以案例讲述引入主题，形成了一部新著。

韩京俊所著《初等不等式的证明方法》共分15章，选取300余个国内外 初等不等式的典型问题，以解析解题方法，并对部分问题加以拓展，不少例 题都配有较大篇幅的注解。《初等不等式的证明方法》的一大特色是从“一 名高中生的视角出发”，侧重解题与命题的思想和探索。本书可作为数学奥 林匹克训练的参考教材，供高中及以上文化程度的学生、教师使用，也可作 为不等式爱好者及从事初等不等式研究的相关专业人员阅读参考。

《平面几何证明方法全书》全书共分三篇。第一篇介绍了21种平面几何证明方法；第二篇介绍了14种常见问题的求解思路；第三篇介绍了几何图形的基本性质，如三角形中的巧合点问题、三角形中的数量及位置关系问题等。《平面几何证明方法全书》在归纳、总结平面几何的概念、定理、公式的基础上，更贴近数学竞赛的命题方向、命题内容。

《平面几何证明方法全书》全书共分三篇。第一篇介绍了21种平面几何证明方法；第二篇介绍了14种常见问题的求解思路；第三篇介绍了几何图形的基本性质，如三角形中的巧合点问题、三角形中的数量及位置关系问题等。《平面几何证明方法全书》在归纳、总结平面几何的概念、定理、公式的基础上，更贴近数学竞赛的命题方向、命题内容。

韩京俊所著《初等不等式的证明方法》共分15章，选取300余个国内外 初等不等式的典型问题，以解析解题方法，并对部分问题加以拓展，不少例 题都配有较大篇幅的注解。《初等不等式的证明方法》的一大特色是从“一 名高中生的视角出发”，侧重解题与命题的思想和探索。本书可作为数学奥 林匹克训练的参考教材，供高中及以上文化程度的学生、教师使用，也可作 为不等式爱好者及从事初等不等式研究的相关专业人员阅读参考。

平面几何证明方法全书习题解答，ISBN：9787560322162，作者：沈文

《裁判的方法（第3版）》以"民法解释学的方法"为主旨，从民法解释学概述、法律解释方法、法律漏洞补充方法、不确定概念的价值补充、利益衡量五个部分来阐述裁判的方法。《裁判的方法（第3版）》尽量回避理论性论述，采用浅显平易的口头语，着重以实际判决为例或解释例来演示各种方法的运用。