机读格式显示(MARC)

• 000 01338nam 2200313 450

• 001 0000506450

• 005 20131122133600.0

• 010 __ |a 978-7-302-33102-5 |d CNY23.00

• 100 __ |a 20130906d2013 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑 |A shu li luo ji |f 张再跃, 张晓如编著

• 210 __ |a 北京 |c 清华大学出版社 |d 2013

• 215 __ |a 135页 |d 26cm

• 225 2_ |a 中国高等学校计算机科学与技术专业 (应用型) 规划教材 |A zhong guo gao deng xue xiao ji suan ji ke xue yu ji shu zhuan ye ( ying yong xing ) gui hua jiao cai

• 320 __ |a 有书目

• 330 __ |a 本书共分7章。第0章绪论，介绍元数学的形成与发展，第1章介绍集合论的基础知识，第2章介绍可计算性理论的基本知识、第3章至第5章是关于经典数理逻辑的内容，第6章以一阶算术系统为例，介绍基于逻辑系统扩展的数学应用系统的描述方法，最终给出“哥德尔不完备性定理”的证明。

• 333 __ |a 本书可以作为教材，也可作为希望了解数理逻辑基础知识的高校学生和科研技术工作者的阅读材料或参考资料。

• 410 _0 |1 2001 |a 中国高等学校计算机科学与技术专业 (应用型) 规划教材

• 606 0_ |a 数理逻辑 |A shu li luo ji |x 高等学校 |j 教材

• 690 __ |a O141 |v 4

• 690 __ |a O141 |v 5

• 701 _0 |a 张再跃 |A zhang zai yue |4 编著

• 701 _0 |a 张晓如 |A zhang xiao ru |4 编著

• 801 _0 |a CN |b HDUL |c 20131122

• 905 __ |a HDUL |d O141/116

• 920 __ |a 233030 |z 1