数理逻辑：第2版 无笔记

图书标准信息

• 作者 恩德滕（Herbert B.Enderton） 著；沈复兴、陈磊、孙运传 译
• 出版社 人民邮电出版社
• 出版时间 2007-03
• 版次 1
• ISBN 9787115143112
• 定价 35.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 240页
• 字数 391千字
• 原版书名 A Mathematical Introduction to Logic

【内容简介】

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

【作者简介】

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

【目录】

第0章集合基础
第1章命题逻辑
第2章一阶逻辑
第3章不可判定性
第4章二阶逻辑
附录