逻辑学须看书籍

评语：这本书据说是邢老师在哲学系的逻辑课讲稿，很适合文科学生看，第一章最好先略读，然后等全书读完再回头读一下，不知道这是不是作者的本意。比起陈慕泽的书难度是更大的，适合有心入门的人读，但想学数理逻辑只读这一本还是不够。当然，这本书依然很有价值，因为作者特意用了根岑自然推演系统，此外这本书对于语义的讲述十分详细，或许也是因为面向文科生的缘故吧。

评语：老师推荐的适合理科生的教材……和计算机挂钩了？这本还是不错的，里面多了些计算机的内容，不喜欢可以跳的，但是据说翻译质量一般，所以英文版也列在下面吧。

评语：上一本的英文版……

评语：我本人并没有看过，但是有人建议这本可以接着 Enderton的那本继续深入。然而略微值得注意的是，这本书是被划为elementary logic范围的。

评语：这本书很不错，翻译质量也挺好。原书就比较简略，英文名记得好像是《数学家的逻辑》，据前言说是写给数学专业的人看，用来了解逻辑在做什么。跳的很快，都到哥德尔了，不过四论讲的不多。有老师的话，带一带读很好。

评语：上面这本的英文影印版，相较于原版，还算是在图书馆里较易借得的

评语：据说是一本研究生标准教材，影印版终于出来了。同款的更著名的还有Shoenfield的Mathematical Logic

评语：这本书有些学校是作为教材的，虽然书上标的是本科生教材，不过北大以此作为研究生的数理逻辑教材。 据说邢滔滔老师的《数理逻辑》脱胎于此。 书中对于基础的内容过的比较快，因此更适合有些逻辑基础的人来学习， 其推演系统是矢列演算，在国内教材中很少见。 后面讲了些递归论，模型论，证明论等内容，总体面还是涉及的较多

评语：很有影响力的研究生教材。涵盖面不错，有很多习题。不过符号略有差异了。 郝兆宽老师力荐

评语：这本书写的很详细，细节很多，真的读下来可以算是真正的跨进了门槛。但是在宏观上略有不足，感觉需要有人来带一下，不然就迷失在细节里了。自学还是比较辛苦，内容实在太多。这点上来说有时还不如写的简单些的数理逻辑教材，不过见仁见智吧。总的来说，这本书在讲解方面是比较传统的，以打好扎实基础为目的（此基础非上面的导论等所表示的基础）还是很推荐，可惜现在几乎买不到了。

评语：逻辑内容紧密结合计算机，后面有一个超棒的书单

评语：和上一本版本一样，但是能买到~

评语：可以作为数理逻辑的入门，有人说这本书印刷错误多，我倒觉得还好。但刘老师本身学术还是严谨的，所以抛开印刷问题，本书值得读。买不到了，借或者下电子版吧。看完这本可以看叶峰的一阶演算。

评语：这本跳过了一些基础内容，直接上手不一定搞的定，但书是好书。

评语：如果能借到，这本书还是很值得读的，莫绍揆先生的学问很好，虽然很简略，但是讲的很透。

评语：老前辈啊，虽然稍嫌有点老，不过书的内容还是很好，只是写法上偶有差异。其中有些地方论述很精辟。逻辑水准的确超越了他们的上一辈金岳霖先生等。

评语：算是有人推荐过，我没有怎么翻，大概印象是很简略，不知道是不是数学的或者理学类的学生会更喜欢？

评语：希尔伯特的书，其实我也没看过，列在这里供有兴趣的人看吧。毕竟是泰斗，但是里面的论述有一些估计有过时之嫌吧？

评语：这个不大好归类，里面谈到的逻辑的面还是很广。也有人说是离散数学，虽然比导论要深一些。我并没有看过中文版，不好说质量如何，略有的疑惑是译者似乎不是这方面的专家？因为不太搜的到译者信息，有知道的可以指正。

评语：这本书是上面的英文版，其实很早就有了，冯志伟写的导读，这里面的逻辑知识没有很成体系，但这并不是作者能力问题，我想应该是在写的时候更多地考虑了其实用性而非逻辑系统本身的性质。形式化方法研究语言学如今也还是蛮多人在做，和麦考莱那时已经不同。不过现在语言学研究里已经偏向统计了。

评语：门德尔松版本的数理逻辑，似乎也有高校用此版，一并列上。好像说MIT的Agustín Rayo认为这本书对他影响很大。这本书再版很多次了，不知道出到第几版了。

评语：Chiswell的数理逻辑，他的模态导论不错，这本我没读过，不过看丛书系列似乎列入牛津研究生教材？据说是零基础。另外，Hodges在模型论方面的书也不错。

评语：一本书介绍了一阶逻辑及四论，简略是免不了的，不过更大的难度是很难找到这本书。莫绍揆先生是师从Paul Bernays学的数学，功底自不必说了。由于内容超过了最基本的数理逻辑，所以就列的靠后了些。

评语：这两本也算是很经典的教材，带着浓厚的李小五老师风格，不过不易读。为了承上启下，就放在了数理逻辑和模态的交界处。

评语：比起Blackburn那本模态逻辑，这本相对入门一些，算是自学也可以。