书的内容应该是非常有用的

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