这本书没有废话,严谨程度不亚于国外经典名著,命题逻辑、一阶逻辑、完备性和可靠性证明,逐步深入,其核心是命题逻辑的形式推演,弄清楚了这个再来看一阶逻辑和完备性、可靠性的证明,非常顺畅。但是,最好要有一些大学本科离散数学的命题逻辑和一阶逻辑的底子,这本书用的符号是罗素、阿克曼、希尔伯特等人反复优化过的,非常严谨。权威不权威,看看国内一流大学、中科院的计算机专业博士入学考试,有多少学校用此作为教材就知道了。
这本书的自然推演系统讲的非常详细,其它的逻辑书侧重于公里推演系统,这本书正好弥补了缺憾,而且书中的注解部分正好解决了我的迷惑,真是一本好书!
这个说得中肯,本来面向CS的数理逻辑就不是为了一般人看懂的。