面向计算机科学的数理逻辑《非常好的一本书》

言简意赅，掷地有声，薄薄一本书涵盖了非常多的东西。我是在学离散数学前大致读的本书(还有几十页实在IQ有限，理解不上去了)。可想而知再去学离散数学综合教程里那种数理逻辑的享受，简直就是一个天一个地，感觉普通离散数学教程中的数理逻辑部分读起来简直就不需要废一点脑筋，太容易懂啦。学完离散数学综合教程以后，又开始读了读这本书，结果。。。某些部分还是有些不容易理解，但不能因此就否认这是本很棒的书吧(毕竟只是部分，IQ低的话 - 比如我，读起来非常困难。综合来看，本书绝对是很好的数理逻辑教程，尤其对新手。高手看的数理逻辑教程估计可以演化到一个汉字都不带吧，全符号+字母组合的:))。