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