从形式逻辑到先验逻辑 胡塞尔逻辑学思想研究

本书比较完整而系统地探讨了胡塞尔逻辑学思想的发展历程。

形式逻辑基础

本书基本内容简明、通俗。结合已有同类书的特点，更加科学合理的分章断节。其内容含括形式逻辑的对象和意义、概念、命题推理及论证等章节。...

求实逻辑九章 形式逻辑的最新发展

本书作者从概念和外延之间的关系、直言判断极其基本类型、直言判断词项的周延性、直言判断的换位推理、直言判断的换置推理等九个方面，深入地探讨了关于逻辑学的基本问题。...

数理簿记与基本会计假设 记账方法与电脑簿记革新

本书用数学解析方法对古今中外的各种单式簿记、复式簿记和三式簿记等作了客观通俗的揭示、描述和评析，并结合会计实务和实例，对基本会计假设以及复式记账方法等作了阐述和论证。...

中国法治政府建设的基本逻辑 跨国比较与制度设计

本专著是对法治政府长期学术思考的表达，核心思想体现于中国法治政府制度变迁的理论框架：“初始制度约束——政治理性人——法治制度变迁”的三元互动结构,并在这一理论框架的基础上设计中国法治政府的理念，建...

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

微型计算机基本原理与应用

本书在第一版的基础上，根据今年的学科发展和教师在教学中的体会而进行修订，主要重写章节有: 第二章、第五章、第六章、第九章、第十章。其他章节进行部分修改。本书是十一五立项教材。...

金融法基本原理与实务

本书对银行、货币、保险、证券、票据等金融领域的法律制度基本原理进行介绍，并对金融领域发生的担保、犯罪以及网络领域发生的金融事务等相关法律制度进行理论介绍；同时，结合近年来发生的典型案件进行分析、探...

完美的合同：合同的基本原理及审查与修改 增订版

价值与资本 对经济理论某些基本原理的探讨

本书在西方经济学界被认为是论述价值“理论”问题的最重要著作。本书是对价值学说的探讨。