书目详细信息
： 数理逻辑
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-312-02708-6:CNY22.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 340000 |
| 题名责任者项： | 数理逻辑/.汪芳庭编著 |
| 版本项： | 第2版 |
| 出版发行项： | 合肥:,中国科学技术大学出版社:,2010 |
| 载体形态项： | 204页:;+23cm |
| 一般附注： | 普通高等学校“十一五”规划教材 |
| 提要文摘： | 本书内容分两部分: 第一部分属数理逻辑基础, 包含命题演算与谓词演算的基本知识, 第二部分为形式算术与Godel不完备性定理。本书对第一不完备性定理Godel及形式算术的不可判定性定理等提供了完整的证明。 |
| 题名主题： | 数理逻辑 研究生 教材 |
| 索书号： | O141/W20 |
| 中图分类： | O141 |
| 个人名称等同： | 汪芳庭 编著 |
| 记录来源： | CN 三新书业 20101013 |