面向计算机科学的数理逻辑•短评
-
0
coyotey
2012-01-10
国内唯一一本这样的书籍，内容不够充实。
-
0
Frau_
2013-12-02
用词节省到极致，而附注对理解起不到帮助，完备性那块非优美常流畅，一阶逻辑u的运用是败笔，云里雾里的
-
0
奔跑的肉夹馍
2011-12-01
偏理论的书，好吧，其实是数理逻辑课的教材
-
0
cacoo
2016-04-27
没看懂…
-
0
尾生
2012-03-05
这个教材也许有所谓的理论高度，但是与实际完全脱节，根本不适合做教材。初学者容易被其单调的排版读成盲视。建议看邢滔滔的教材。
-
0
Nameless
2013-01-03
O M G W T F
-
0
pesemire
2012-06-10
很是一般
-
0
票贩子
2012-02-17
每每看到这个新加坡人的名字的时候我都不寒而栗。。。
-
0
TheLadiesChoice
2015-12-28
证明有点儿难。。
-
0
woodbean
2016-05-03
这本书应该比较适合有大学数理逻辑基础知识的人看。我当初学习完备性定理的时候看其他书都看不懂，通过这本书才看懂的。
-
0
透明人間617號
2013-06-18
能更难懂一点么。。我阅读障碍。。
-
0
hooliganstreet
2014-03-13
两本书
-
0
豌豆黄
2016-09-09
一定要配合老爷子那29讲视频来看，讲得极好，清楚明白，详略得当。
-
0
RiverC
2008-08-07
已有
-
0
[已注销] 2014-06-12
看了前六章(即非经典逻辑没看)，当真写的简洁明了。不过有时确实太简洁了。。。跳过了一阶逻辑的完备性和第五章两个定理的证明，有心情时候再看看。
-
0
kevin
2014-07-16
作为教材，还成
-
0
STEWART
2012-01-16
晦涩难懂
