机读格式显示(MARC)
- 010 __ |a 7-312-00200-5 |d CNY2.20
- 100 __ |a 19910128d1990 ekmy0chiy0121 ea
- 200 1_ |a 数理逻辑 |A SHU LI LUO JI |f 汪芳庭编著 |F WANG FANG TING BIAN ZHU
- 210 __ |a 合肥 |c 中国科学技术大学出版社 |d 1990.9
- 330 __ |a 本书前两章介绍了命题演算和谓词演算,第三章介绍形式算术,递归函数及二者的关系,第四章中心是不完备性定理,其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等。
- 540 1_ |a 数理 逻辑 |A SHU LI LUO JI
- 701 _0 |a 汪芳庭 |A WANG FANG TING |4 编著
- 801 _0 |a CN |b NLC |c 19910128
- 801 _2 |a CN |b YNNI |c 19970609
- 905 __ |a YNNI |d O141/3140