书籍详情
数理逻辑
作者：汪芳庭编著
出版社：中国科学技术大学出版社
出版时间：1990-09-01
ISBN：9787312002007
定价：¥2.20
内容简介
本书前两章介绍了命题演算和谓词演算，第三章介绍形式算术，递归函数及二者的关系，第四章中心是不完备性定理，其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等。
作者简介
暂缺《数理逻辑》作者简介
目录
暂缺《数理逻辑》目录
猜您喜欢
