数理逻辑

不够深入也不够严谨，但胜在结构清晰，重点突出。习题质量也不错，就是少了点。

考研用书。

上课的教材，我觉得不简明而扼要的教材不是好教材。这个评价可能有失公允，或许是因为当初读的太草率了，总归是有一些东西没看明白。最近越来越感到要好好补课。。。

简明扼要

比较适合不做数理逻辑方面研究的人去了解数理逻辑核心的一些基本内容，不是太深，习题偏少对自学不太方便，有些证明不是特别严格（比如谓词逻辑完全性定理有个别地方），但可读性高。

Logic for mathematicians.重点明确且易读，当然只看一本或一遍是肯定不够的。第七章还得再消化一下。 影印版看得眼快瞎了。

@2017-08-31 20:53:07

研究数学的数理逻辑 此书甚好 讲的比老师好 缺点是容易从此自学两周后落下进度 /* 这些年我们用豆瓣来整理学业 */