机读格式显示(MARC)

• 000 00852nam0 2200253 450

• 001 0000343280

• 005 20200927085100.0

• 010 __ |a 978-7-04-051352-3 |d CNY59.00

• 099 __ |a CAL 012020019167

• 100 __ |a 20200413d2019 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑 |A Shu Li Luo Ji |d = Mathematical logic |f 孙希文编著 |z eng

• 210 __ |a 北京 |c 高等教育出版社 |d 2019

• 215 __ |a 499页 |d 24cm

• 330 __ |a 本书共九章，内容包含一阶数理逻辑的基本核心内容，涵盖：一阶理论、一阶理论的若干定理、一阶理论的特征问题、形式系统的一般理论与一阶理论的等价定义、模型论等。

• 510 1_ |a Mathematical logic |z eng

• 606 0_ |a 数理逻辑 |A Shu Li Luo Ji |x 高等学校 |j 教材

• 690 __ |a O141 |v 5

• 701 _0 |a 孙希文 |A Sun Xi Wen |4 编著

• 801 _0 |a CN |b NMU |c 20200413

• 905 __ |a AUSTL |d O141/S895