机读格式显示(MARC)
- 000 00903nam0 2200265 450
- 010 __ |a 978-7-312-02708-6 |d CNY22.00
- 100 __ |a 20101015d2010 em y0chiy50 ea
- 200 1_ |a 数理逻辑 |A shu li luo ji |f 汪芳庭编著
- 210 __ |a 合肥 |c 中国科学技术大学出版社 |d 2010
- 300 __ |a 普通高等学校“十一五“规划教材
- 330 __ |a 本书内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书对Godel第一不完备性定、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整证明。
- 606 0_ |a 数理逻辑 |x 研究生 |j 教材
- 701 _0 |a 汪芳庭 |A wang fang ting |4 编著
- 801 _0 |a CN |b HDUL |c 20110418
- 905 __ |a HDUL |d O141/340/2