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