数理逻辑（英文版）（第2版）

　　CHAPTER ZERO Useful Facts about Sets　1
　　CHAPTER ONE Sentential Logic　11
　　1.0　Informal Remarks on Formal Languages　11
　　1.1　The Language of Sentential Logic　13
　　1.2　Truth Assignments　20
　　1.3　A Parsing Algorithm　29
　　1.4　Induction and Recursion　34
　　1.5　Sentential Connectives　45
　　1.6　Switching Circuits　54
　　1.7　Compactness and Effectiveness　59
　　CHAPTER TWO　First-Order Logic　67
　　2.0　Preliminary Remarks　67
　　2. l　First-Order Languages　69
　　2.2　Truth and Models　80
　　2.3　A Parsing Algorithm　105
　　2.4　A Deductive Calculus　109
　　2.5　Soundness and Completeness Theorems　131
　　2.6　Models of Theories　147
　　2.7　Interpretations Between Theories　164
　　2.8　Nonstandard Analysis　173
　　CHAPTER THREE　Undecidability　182
　　3.0　Number Theory　182
　　3.1　Natural Numbers with Successor　187
　　3.2　Other Reducts of Number Theory　193
　　3.3　A Subtheory of Number Theory　202
　　3.4　Arithmetization of Syntax　224
　　3.5　Incompleteness and Undecidability　234
　　3.6　Recursive Functions　247
　　3.7　Second Incompleteness Theorem　266
　　3.8　Representing Exponentiation　276
　　CHAPTER FOUR　Second-Order Logic　282
　　4.1　Second-Order Languages　282
　　4.2　Skolem Functions　287
　　4.3　Many-Sorted Logic　295
　　4.4　General Structures　299
　　SUGGESTIONS FOR FURTHER READING　307
　　LIST OF SYMBOLS　309
　　INDEX

　　Herbert B．Enderton  哈佛大学博士，师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评沦》杂志的宅编。除本书外，他还著有另外两本广受好评的教材Elements of Set Theory和Linear Algebra。

　　《数理逻辑》(英文版第2版)是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。《数理逻辑》(英文版第2版)特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选《数理逻辑》(英文版第2版)的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。