数理逻辑 - 暨南大学图书馆


名称	数理逻辑

索引号	O141/921
分类号	O141 O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学)
作者	汪芳庭、
出版社	合肥 : 中国科学技术大学出版社, 1990.9
ISBN	7-312-00200-5
页数	273页 ; 20cm
价格	CNY2.20
标签	数理逻辑、逻辑、计算机、汪芳庭、数学、阅读、逻辑学、rr、
简介
注解	本书前两章介绍了命题演算和谓词演算・第三章介绍形式算术,递归函数及二者的关系・第四章中心是不完备性定理,其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等・