机读格式显示(MARC)

• 000 00869nam0 2200265 450

• 001 0000767858

• 005 20200609135100.0

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

• 100 __ |a 20191223d2019 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 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页 |c 图 |d 24cm

• 320 __ |a 有书目

• 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 HDUL |c 20200609

• 905 __ |a HDUL |d O141/140

• 920 __ |a 233030 |z 1