读起来非常枯燥, boring.这一定是作者的问题.不能很好的引导读者(至少是我)去理解整个过程.前12章170多页, 分两部分: 1. logic学简介; 2, 程序语言的形式化.总之非常无聊. 废话太多了. 完全应该把前12章, 作为附录, 习题存在. 把第三部分直接甩出来.希望第三部分, 能有趣一点.