机读格式显示(MARC)

• 000 00966nam0 2200289 450

• 001 0000614106

• 005 20241024161900.0

• 010 __ |a 978-7-5685-4035-3 |d CNY69.00

• 099 __ |a CAL 012023056887

• 100 __ |a 20230512d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 210000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑引论 |A shu li luo ji yin lun |d = Introduction to mathematical logic |f 朱梧槚 ... [等] 编著 |z eng

• 205 __ |a 第2版

• 210 __ |a 大连 |c 大连理工大学出版社 |d 2023

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

• 320 __ |a 有书目 (第 [231] -232页)

• 330 __ |a 本书涵盖了命题与命题联结词、命题逻辑演算、谓词与量词、谓词逻辑演算等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。

• 510 1_ |a Introduction to mathematical logic |z eng

• 606 0_ |a 数理逻辑 |A shu li luo ji

• 690 __ |a O141 |v 5

• 701 _0 |a 朱梧槚, |A zhu wu jia |f 1933- |4 编著

• 801 _0 |a CN |b CAU |c 20241019

• 905 __ |a CAU |d O141/44(2)

• 920 __ |a 211180 |z 1