机读格式显示(MARC)

• 000 01233nam0 2200337 450

• 001 0000110054

• 005 20120416103240.2

• 009 320651

• 010 __ |a 978-7-5004-8543-8 |d CNY24.00

• 049 __ |a A100000NLC |b UCS01002229311 |c 004653244 |d NLC01

• 100 __ |a 20120416d2010 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a z 000yd

• 106 __ |a r

• 200 1_ |a 数理逻辑 |9 shu li luo ji |b 专著 |f 张清宇主编 |g 刘新文，夏素敏编

• 210 __ |a 北京 |c 中国社会科学出版社 |d 2010

• 215 __ |a 128页 |c 图 |d 24cm

• 300 __ |a 中国社会科学院研究生重点教材

• 330 __ |a 本书介绍数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑演算以及刻画句法和语义之间的关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二部完全性定理以及所需的递归论内容，等等。

• 606 0_ |a 数理逻辑 |x 研究生 |j 教材

• 606 0_ |a 数理逻辑

• 690 __ |a O141 |v 4

• 701 _0 |a 张清宇 |f (1944.4-) |9 zhang qing yu |4 主编

• 702 _0 |a 刘新文 |f (1972-) |9 liu xin wen |4 编

• 702 _0 |a 夏素敏 |c (哲学) |9 xia su min |4 编

• 801 _0 |a CN |b FS801 |c 20120416

• 905 __ |a GDPTC |d O141/1

• 908 __ |a 012012003456

• 995 __ |f O141/1

• 999 __ |A FS801.cqh |a 20120416 10:30:49 |M FS801.cqh |m 20120416 10:32:37 |C 012012003456 |U FS801.cqh |u 20120416 10:32:40