本书完全按照ETS关于GMAT逻辑考试的要求编写，书中全面系统地梳理、归纳、讲解了GMAT英语考试逻辑分析的考...
2006.06
本书对不确定推理的定量方法进行了系统地概括，以包含度理论为基本原理，系统概括概率统计，政局推理，信息...
2007.04
本是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。...
2006.
本书是数理逻辑课程的经典教材。
2006.12
本书为国家十五教材。该书分演绎及其证实，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻...
2006.11