书目

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

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

内容简介

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

作者简介

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

目录

在售商品

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

    70.00 九品
    文香书屋 >
  • 数理逻辑:(英文版 · 第2版)

    75.00 八五品
    梦里书香 >
  • 数理逻辑:(英文版 · 第2版)

    15.00 八五品
    青山不改绿水长流他年月日后会有期的书摊 >

—  END  —