机读格式显示(MARC)

• 000 01027nam0 2200265 450

• 001 0000373277

• 005 20251213153300.0

• 010 __ |a 978-7-302-68240-0 |d CNY79.00

• 035 __ |a (A100000NLC)013576302

• 049 __ |a A100000NLC |b UCS01013169514 |c 013576302 |d NLC01

• 100 __ |a 20250423d2025 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑基础教程 |9 shu li luo ji ji chu jiao cheng |b 专著 |d A tutorial of mathematical logic |f 张峰编著 |z eng

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

• 215 __ |a 342页 |d 26cm

• 330 __ |a 本书共8章。第1章介绍了数理逻辑的基本思想以及后面各章所用到的预备数学知识；第2~6章分别介绍了命题逻辑和谓词逻辑，构造了它们的形式系统，并讨论了它们的系统性质，进而引入了包含数学理论的形式系统；后2章介绍了哥德尔的不完全性定理、算法可计算性

• 510 1_ |a Tutorial of mathematical logic |z eng

• 606 0_ |a 数理逻辑 |j 教材

• 690 __ |a O141 |v 5

• 701 _0 |a 张峰 |9 zhang feng |4 编著

• 801 _0 |a CN |b GDPTC |c 20251213

• 905 __ |a GDPTC |d O141/13