书目
消息
首页
搜索
购物车
数理逻辑:第2版
作者
恩德滕
著
沈复兴
译
陈磊
译
孙运传
译
出版社
人民邮电出版社
出版时间
2007年3月 第1版
ISBN
9787115143112
定价
35.00
内容简介
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑,一阶逻辑,不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。本书特点是:内容可读性强,组织结构更灵活,授课教师可根据数学需要节选本书的内容,反映了近几年来理论计算机科学对逻辑学产生的影响。
作者简介
HerbertB.Enderton,哈佛大学博士,师从著名哲学家HilaryPutnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授,该校“逻辑学论坛”主席,曾担任《符号逻辑学会评论》杂志的主编。除本书外,他还著有另外两本广受好评的教材ElementsofSetTheory(影印版已经由人民邮电出版社出版)和LinearAlgebra。
目录
— END —