逻辑的引擎
✍ [美] 马丁·戴维斯
📂 Library
📅 2005
🏛 湖南科学技术出版社
🌐 Chinese
✦ LIBER ✦
📁
逻辑的引擎
✍ Scribed by 戴维斯
- Publisher
- 湖南科学技术出版社
- Year
- 2005
- Tongue
- Chinese
- Leaves
- 305
- Category
- Library
⬇ Acquire This Volume
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
逻辑的引擎
✍ [美]马丁·戴维斯; 张卜天(译)
📂 Library
📅 2005
🏛 湖南科学技术出版社
🌐 Chinese
逻辑新引
✍ 殷海光
📂 Library
📅 2009
🏛 国立台大出版中心
🌐 Chinese
哲学逻辑引论
✍ A·C·格雷林
📂 Library
📅 1990
🏛 中国社会科学出版社
🌐 Chinese
数理逻辑导引
✍ 冯琦
📂 Library
📅 2017
🏛 科学出版社
🌐 Chinese
<p>本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成，其中包括完备性、紧致性、同质缩小、型省略等基本定理；有关数的经典理论的完全性和可定义性分析；哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。</p>
逻辑哲学引论
✍ 陈波
📂 Library
📅 1990
🏛 人民出版社
🌐 Chinese