本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些**专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如哥德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成为一本经典的教科书。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。

1 Enumerability
2 Diagonalization
3 Turing Computability
4 Uncomputability
5 Abacus Computability
6 Reaursive Functions
7 Recursive Sets and Relations
8 Equivalent Definitions of Computalibity
9 A Precis of First Order Logic:Syntax
10 A Precis of First Order Logic:Semantics
11 The Undecidability of First Order Logic
12 Models
13 The Existence of Models
14 Proofs and Completeness
15 Arithmetization
16 Representability of Recursive Functions
17 Indefinability,Undecidalility,Incompleteness
18 The Unprovalility of Consistency
……

书评
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。