Toggle navigation
中图分类查询
分类
图书
所有字段
图书题名
著者姓名
中图分类
搜索
关于中图法
数
题名:
数理逻辑
作者:
(美) Herber B. Enderton著
出版年:
2007
ISBN:
978-7-115-14311-2
分类号:
O141
中图分类:
数理逻辑(符号逻辑)
译者:
沈复兴, 陈磊, 孙运传
定价:
35.00元
页数:
240 页 页
出版社:
人民邮电出版社
装订:
平装
数理逻辑 — (美) Herber B. Enderton著
相关图书
内容简介
序号
相关图书
著者
出版年
1
人文上海 : 市民的空间
李天纲著
2004
2
数学模型
谭永基,蔡志杰,俞文〓编著
2005
3
Visual C++从入门到精通
国家863中部软件孵化器编著
2010
4
工程力学 : 动力学 : 第三版
(美)R. C. Hibbeler著
2006
5
物理定律的本性
(美) R. P. 费曼著
2005
6
e时代 : 中文版Dreamweaver CS3+ASP
胖鸟工作室编著
2007
7
离魂
蓝紫青灰著
2009
8
离散事件系统建模与仿真
王维平 ... [等] 编著
2007
9
美人在侧花满堂
花清晨著
2009
10
吴敬琏传 : 一个中国经济学家的肖像
吴晓波著
2010
11
关于人的本质的哲学
(苏)格里戈里扬著;汤侠声等译
1984
12
一生受用的公式
(英)M·沃特金斯著
2004
13
中文版DREAMWEAVER CS5从入门到精通
胡崧, 于慧编著
2010
14
现代编译原理 : C语言描述
(美) Andrew W. Appel, Maia Gins
2006
15
欧叶妮·葛朗台 高老头
(法) 巴尔扎克著
2011
16
大学英语高频语法 , 六级
主编毛荣贵
2010
17
历史上最美的10个实验
(美) George Johnson著
2010
18
内部控制国际比较研究
张宜霞, 舒惠好著
2006
19
生命里的第一束光
《青年文摘电子杂志》编辑部编著
2010
20
考研数学历年真题精析 , 数学三 : 2011
主编蔡子华
2007
《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。