民事诉讼证明妨碍制度研究

本书从民事诉讼证明妨碍制度的内涵与法理出发，通过对民事诉讼证明妨碍制度的比较法考察，分析了民事诉讼证明妨碍制度的构成要件，并阐述了民事诉讼证明妨碍制度的法律效果，为我国民事诉讼证明妨碍制度的构建提供...

民事诉讼证明权研究

民事诉讼证明权是一种内涵极其丰富的权利，是一种保障其他权利实现的权利。在一些国家和地区的民事诉讼中，它具有宪法地位，在立法上有充分的规定，在实践中有可靠的保障。但是，在我国，不仅理论研究尚浅，而且立法......

数理逻辑 证明及其限度

本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语义部分并强调语法语义的统一。此外，本书的另一个重要目的是为了后继课程做准备，因此也是引学习者入数...

职务犯罪案件证明规范及实例指导

书稿对刑事案件证明规范的相关问题以及贪污贿赂案件、渎职案件、国家机关工作人员利用职权实施的侵犯公民人身权利案件的证明规范等问题进行了全面而深刻地阐释。...

民事诉讼证明的方法论 以事实证明为中心

诉讼证明既是一种运用理性和逻辑进行思维的认识活动，也是一种实践活动；既从属于法律论证活动，又有自己独特的实践性特征；诉讼证明既是一种对话性、论辩性、交涉性的活动，又是一种说服性的活动，诉讼证明既有当事.....

科学证明炭的效能：炭是地球的救世主

用结果证明自己 做一流员工的不二法则

本书通过实例与理论的结合，从沟通、执行力等方面阐述了成为一名优秀的员工所需要具备的素质、能力和特质，以及如何用结果证明自己的价值。...

证明达尔文进化和生物创造性的一个数学理论

证明标准问题研究

本书为目前国内专门研究诉讼证明标准的学术专著。本书运用历史分析方法、对比方法和实证的方法，对证明标准的内在特征和外在特征进行深入分析，同时本书并不仅仅拘泥于理论，还对现实中各种证明标准的弊端与缺陷...

程序正确性证明方法

本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以...