作者： （美）恩德滕　著 沈复兴 陈磊 孙运传　译

出版社： 人民邮电出版社

本書は数理ロジック方面の経典教材です。書中に命題ロジックをカバーして、いけない判定性および2の階ロジックなどの方面の内容、しかも計算機科学と関係のある主題を含んで、有限模型のよう。本書特長はそうです：内容は読み性は強く；構造がいっそう通じていることを組織して、授業は全部教学に基づくことができて線分を要して本書を選ぶ内容です：数年に近く理論計算機科学に来て論理学の生じた影響に対することを反映して；比較的に多い例示と習題を含む。本書は行為数学に適合して、哲学、計算機科学および他の学科数理ロジック課程を勉強する必要のある本科の生和研究生の教材。

  本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课都是可根据教学需要节选本书的内容：反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和习题。本书适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。

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

第0章　集合基础
第1章　命题逻辑
　1.0　闲话形式语言
　1.1　命题逻辑的语言
　1.2　真值指派
　1.3　解析算法
　1.4　归纳与递归
　1.5　命题联结词
　1.6　交换电路
　1.7　紧致性和能行性
第2章　一阶逻辑
　2.0　预备知识
　2.1　一阶语言
　2.2　真值与模型
　2.3　解析算法
　2.4　演绎计算
　2.5　可靠性与完备性理论
　2.6　理论的模型
　2.7　理论之间的解释
　2.8　非标准分析
第3章　不可判定性
　3.0　数论　
　3.1　有后继数的自然数
　3.2　数论的其他归约模型　
　3.3　数论的子理论
　3.4　语法的算术法
　3.5　不完全性和不可判定性
　3.6　递归函数
　3.7　第二不完全性定理
　3.8　幂乘运算的表示
第4章　二阶逻辑
　4.1　二阶语言
　4.2　斯科伦函数
　4.3　多类逻辑
　4.4　广义结构
附录A　推荐读物
附录B　符号列表
索引

ISBN：7115143112
文字数：391000
纸张：胶版纸
印刷回数：1
出版版数：1