-
(0人评价)
杨启帆 / 1990年05月第1版 / 343页
-
(0人评价)
沈继红 / 1996年05月第1版 / 353页
-
(0人评价)
齐欢 / 1996年06月第1版 / 318页
-
(0人评价)
任善强 / 1996年08月第1版 / 256页
-
(0人评价)
汪芳庭 / 1990年09月第1版 / 273页
本书前两章介绍了命题演算和谓词演算,第三章介绍形式算术,递归函数及二者的关系,第四章中心是不完备性定理,其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等。
-
-
-
(0人评价)
董加礼 / 1990年08月第1版 / 201页
-
-
(0人评价)
潘德惠著 / 1986年05月第1版 / 583页