Toggle navigation
中图分类查询
分类
图书
所有字段
图书题名
著者姓名
中图分类
搜索
关于中图法
题名:
数理逻辑引论
作者:
李涛, 张岩, 刘峰主编
出版年:
2011
ISBN:
978-7-5603-3411-0
分类号:
O141
中图分类:
数理逻辑(符号逻辑)
定价:
16.00元
页数:
139 页
出版社:
哈尔滨工业大学出版社
装订:
平装
数理逻辑引论 — 李涛, 张岩, 刘峰主编
相关图书
内容简介
序号
相关图书
著者
出版年
1
数理逻辑引论
李涛, 张岩, 刘峰主编
2011
2
列车牵引计算实用教程
孙中央著
2005
3
列车牵引计算
张中央主编
2000
4
最优控制理论与应用
张洪钺,王青编著
2006
5
概率论与数理统计
盛骤,谢式千,潘承毅编
2001
6
自动控制理论复习指导与习题精解
于希宁, 刘红军主编
2004
7
概率论与数理统计全程导学及习题全解 : 浙大第三版
主编谢婧
2006
8
线性代数
同济大学数学系编著
2010
9
车辆制动装置
张旺狮主编
2007
10
Excel 2003~2010数据透视表从入门到精通
韩小良, 王小伟编著
2011
11
现代铁路信号中的通信技术
李开成主编
2010
12
区间信号自动控制
林瑜筠,张铁增合编
2003
13
Java开发之道
张振坤, 李钟尉, 陈丹丹等编著
2011
14
铁路信号显示
傅世善编著
2001
15
Java全能速查宝典
李永强, 李钟尉, 王国辉编著
2009
16
XML基础教程与实验指导
孙晓非 ... [等] 编著
2008
17
信号工 : 联锁、列控与区间信号设备维修
铁路职工岗位培训教材编审委员会
2009
18
Linux命令详解手册 : 1000+ commands
(美) Christopher Negus, Francoi
2009
19
Eclipse插件开发
(美) Eric Clayberg, Dan Rubel著
2010
20
Word 2007办公应用从新手到高手
唐有明, 孙岩, 周保英等编著
2008
哈尔滨工业大学计算机系数理逻辑教材。<br />关于逻辑演算的推理研究。