书目

数理逻辑:(英文版 · 第2版)

  • 作者 [美]Herbert B. Enderton 著
  • 出版社 人民邮电出版社
  • 出版时间 2006年1月 第1版
  • ISBN 9787115141453
  • 定价 39.00

内容简介

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

作者简介

HerbertB.Enderton哈佛大学博士,师从著名哲学家HilaryPutnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授,该校“逻辑学论坛”主席,曾担任《符号逻辑学会评论》杂志的主编。除本书外,他还著有另外两本广受好评的教材ElementsofSetTheor

目录

在售商品

6家店有售 新书0家
38.00
综合价格品相店铺 只看全新
  • 数理逻辑:(英文版 · 第2版)

    38.00 八五品
    蓝田书院 >
  • 数理逻辑(英文版)(第2版)【正版 现货 书内干净】十品书品相完好

    60.00 九五品
    百合书店 >
  • 数理逻辑:(英文版 · 第2版)

    50.00 八五品
    知明旧书店分店 >
  • 数理逻辑(英文版·第2版)人民邮电出版社样书

    60.00 八五品
    梦里书香 >
  • 数理逻辑:(英文版 · 第2版) 书内有少量笔记

    40.00 九品
    金茂书店 >
  • 数理逻辑:(英文版 · 第2版)

    60.00 九五品
    书友kw368483的书摊 >

—  END  —