一阶逻辑和一阶理论电子书的评论，读后感，观后感-琅嬛苑

豆瓣评论

Teki

对不可数语言的讨论、无歧义性、完全性讲得很多。这套书的排版和编辑实在是符合时代水平...05-23
Hephan

Herbrand定理，相对化，解释03-22
兰德尔

【已存柜】经与叶峰老师询问，第185页习题1漏了条件“T是一致的”；第185页练习3是两道题。一是“有左端点而无右端点的稠密线性序理论是完备的”，一是“有左端点也有右端点的稠密线性序理论是完备的”03-21
无能狂怒人

错误不多，说的不清楚的地方不少。看这本不如直接去看艾宾浩斯的数理逻辑。06-30
超人

直观、语法和语义的清晰对照，澄清了很多原来很模糊的概念和定义。这本书是宏观上对一阶逻辑的简要概括，看完这个再分别看命题逻辑和谓词逻辑效果更佳。但是繁复的证明充斥其间，虽能看懂却仍无法自己证明。完全性定理实在有些难，先搁置吧~01-15