“本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……”
　　——美国计算机协会自动机与可计算性理论专业组 (SIGACT)
　　这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。虽然本书覆盖了所有传统的逻辑主题 (语法、语义、完备性和紧致性) ，但是书中大部分讨论的是其他主题，诸如消解定理证明、逻辑式程序设计和非经典逻辑 (模态逻辑和直觉主义逻辑) ，而这些主题在现代计算机科学中变得越来越重要。另外，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。
　　本书不要求读者具备逻辑基础知识，适合计算机科学和数学系高年级本科生以及低年级研究生使用。

无

Anil Nerode Richard A. Shore：Anil Nerode: 康奈尔大学数学系的创始人和教授，于1956年在芝加哥大学获得博士学位。他的研究领域包括数理逻辑、自动机、可计算理论、混合系统等。除本书外，他还与其他人合著了《Effective Completeness Theorems for Modal Logic》、《Tableaux for Constructive Concurrent Dynamic Logic》、《Logic, Categories, Lambda Calculus》等书。
Richard A. Shore: 康奈尔大学数学教授，于1972年在麻省理工学院获得博士学位。他的研究领域包括数理逻辑、递归论、集合论等。