中文名: 数理逻辑
作者: (美)Herbert B.Enderton
译者: 沈复兴
陈磊
孙运传
图书分类: 教育/科技
资源格式: DJVU
版本: 清晰版
出版社: 人民邮电出版社
书号: 9787115143112
发行时间: 2007年3月1日
地区: 大陆
语言: 简体中文
简介:
内容简介：
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课都是可根据教学需要节选本书的内容：反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和习题。本书适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。
作者简介：
Herbert B.Enderton，哈佛大学博士，师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材Elements of Set Theory（影印版已经由人民邮电出版社出版）和Linear Algebra。
内容截图：