图文详情
- ISBN:9787030464217
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 开本:24cm
- 页数:228
- 出版时间:2015-11-01
- 条形码:9787030464217 ; 978-7-03-046421-7
内容简介
本书介绍数理逻辑的基础知识, 包括逻辑验算的基本内容, 这些内容构成数理逻辑各个分支 (模型论、证明论和构造性数学、递归论、集合论) 的共同的基础。本书共六部分, 分上、下两册。本册为上册。
本类五星书
本类畅销
-
勒维特之星-大发现系列丛书
¥6.4¥16.0 -
喜马拉雅山珍稀鸟类图鉴
¥31.3¥68.0 -
昆虫的生存之道
¥12.2¥38.0 -
昆虫采集制作及主要目科简易识别手册
¥25.0¥50.0 -
改变世界的发现
¥15.4¥48.0 -
古文诗词中的地球与环境事件
¥8.4¥28.0 -
声音简史
¥18.7¥52.0 -
不匹配的一对:动物王国的性别文化
¥13.7¥42.8 -
现代物理学的概念和理论
¥27.9¥68.0 -
宇宙与人
¥10.5¥35.0 -
几何原本
¥35.6¥93.6 -
袁隆平口述自传
¥17.3¥51.0 -
物理学之美-插图珍藏版
¥29.0¥69.0 -
技术史入门
¥25.0¥48.0 -
星空探奇
¥12.5¥39.0 -
图说相对论(32开平装)
¥23.9¥46.0 -
80种昆虫彩图馆
¥14.3¥39.8 -
数学专题讲座
¥11.0¥29.0 -
光学基础教程
¥18.9¥63.0 -
布尔巴基-数学家的秘密社团
¥11.4¥38.0