作者	AnilNerode
出版社
出版时间	2006-09-01

特色：

这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。虽然本书覆盖了所有传统的逻辑主题，但是书中大部分讨论的是其他主题，诸如消解定理证明、逻辑式程序设计和非经典逻辑，而这些主题在现代计算机科学中变得越来越重要。另外，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。 本书不要求读者具备逻辑基础知识，适合计算机科学和数学高年级本科生以及低年级研究生使用。