绝对经典的书

这本书没有废话，严谨程度不亚于国外经典名著，命题逻辑、一阶逻辑、完备性和可靠性证明，逐步深入，其核心是命题逻辑的形式推演，弄清楚了这个再来看一阶逻辑和完备性、可靠性的证明，非常顺畅。但是，最好要有一些大学本科离散数学的命题逻辑和一阶逻辑的底子，这本书用的符号是罗素、阿克曼、希尔伯特等人反复优化过的，非常严谨。
权威不权威，看看国内一流大学、中科院的计算机专业博士入学考试，有多少学校用此作为教材就知道了。