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