书目信息 机读格式(MARC)
数理逻辑
| ISBN/价格： | 7-312-00200-5:￥2.20 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 340000 |
| 题名责任者项： | 数理逻辑/.汪芳庭编著 |
| 出版发行项： | 合肥:,中国科学技术大学出版社:,1990.9 |
| 载体形态项： | 273页:;+20厘米 |
| 丛编项： | 离散数学 |
| 提要文摘： | 本书前两章介绍了命题演算和谓词演算。第三章介绍形式算术,递归函数及二者的关系。第四章中心是不完备性定理,其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等。 |
| 题名主题： | 数理逻辑 |
| 中图分类： | O141 |
| 个人名称等同： | 汪芳庭 编著 |
| 记录来源： | CN NLC 20051014 |