查字典图书网
查字典图书网
ohscar
对
面向计算机科学的数理逻辑
的书评
发表时间：2009-01-15 08:01:39
语言晦涩，让人难以理解。而且，关键的东西没好好讲，沉溺于证明之中，国内教材的通病！推荐读《A Mathematical Introduction to Logic, Second Edition 》（就是伯克利版的数理逻辑）：http://www.china-pub.com/28732