MARC状态:审校 文献类型:中文图书 浏览次数:28
- 题名/责任者:
- 数理逻辑/汪芳庭编著
- 出版发行项:
- 合肥:中国科学技术大学出版社,1990.9
- ISBN及定价:
- 7-312-00200-5/CNY2.20
- 载体形态项:
- 273页;大32开
- 编目员补充题名:
- 数理 逻辑
- 丛编项:
- 离散数学;3
- 个人责任者:
- 汪芳庭 编著
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 科图法分类号:
- 51.3
- 提要文摘附注:
- 本书前两章介绍了命题演算和谓词演算,第三章介绍形式算术,递归函数及二者的关系,第四章中心是不完备性定理,其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
O141/3140 | 06000219861 | 雨花剔旧2室 | 可借 | 雨花剔旧2室 | |
O141/3140 | 06000332367 | 雨花密集存本库 | 阅览 | ||
O141/3140 | 06000006101 | 莲华自科书库(O类) | 可借 | ||
O141/3140 | 06000006128 | 莲华自科书库(O类) | 可借 | ||
O141/3140 | 06000008919 | 莲华自科书库(O类) | 可借 |
显示全部馆藏信息