Toggle navigation
中图分类查询
分类
图书
所有字段
图书题名
著者姓名
中图分类
搜索
关于中图法
题名:
数理逻辑
作者:
(美) Herber B. Enderton著
出版年:
2007
ISBN:
978-7-115-14311-2
分类号:
O141
中图分类:
数理逻辑(符号逻辑)
译者:
沈复兴, 陈磊, 孙运传
定价:
35.00元
页数:
240 页 页
出版社:
人民邮电出版社
装订:
平装
数理逻辑 — (美) Herber B. Enderton著
相关图书
内容简介
序号
相关图书
著者
出版年
1
Objective-C入门经典
(美) Jesse Feiler著
2013
2
HTML5与CSS3设计模式
(美) Michael Bowers, Dionysios
2013
3
HTML5实战 : essential techniqu
(意) Marco Casario ... [等] 著
2013
4
数据结构实例解析与实验指导 : Java语言描述
刘小晶主编
2013
5
深入理解Java Web开发技术 : 探索基于主流框架的
谭贞军编著
2013
6
Servlet和JSP学习指南
(加) Budi Kurniawan著
2013
7
Java虚拟机并发编程
(美) Venkat Subramaniam著
2013
8
C++ Templates中文版
(美) David Vandevoorde, (德) Nic
2013
9
好学的Objective-C
(美) Jiva DeVoe著
2012
10
Visual C++网络编程开发与实战
朱桂英, 张元亮编著
2012
11
日本精彩推理小说选 . 4
杨军编译
2012
12
现代数字图像处理技术提高及应用案例详解 : MATLAB
赵小川编著
2012
13
荒野求生秘技
(英) 戴夫·皮尔斯著
2012
14
FPGA权威指南
(英) Clive Max Maxfield编著
2012
15
Struts 2框架应用开发教程
王建国编著
2012
16
Java典型模块精解
明日科技编著
2012
17
PHP经典编程265例
潘凯华, 李慧, 刘欣等编著
2012
18
Java Web轻量级开发全体验
邓子云著
2012
19
计算机网络基础
尚晓航编著
2012
20
Java高级框架应用开发案例教程 : Struts2+S
王永贵 ... [等] 编著
2012
《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。