机读格式显示(MARC)

• 000 01147nam 2200325 450

• 001 0000149112

• 005 20060721104900.0

• 010 __ |a 7-115-14145-2 |d CNY39.00

• 100 __ |a 20051226d2006 em y0chiy0121 ea

• 101 0_ |a eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 001yy

• 106 __ |a r

• 200 1_ |a A mathematical introduction to logic |A A Mathematical Introduction To Logic |d = 数理逻辑 |f (美) Herbert B. Enderton著 |z chi

• 205 __ |a 英文版

• 210 __ |a 北京 |c 人民邮电出版社 |d 2006

• 215 __ |a 317页 |d 24cm

• 225 2_ |a 图灵原版计算机科学系列 |A Tu Ling Yuan Ban Ji Suan Ji Ke Xue Xi Lie

• 306 __ |a 本书英文影印版由Elsevier(Singapore) Pte Ltd.授权

• 320 __ |a 有索引

• 324 __ |a 本书据原文第2版影印

• 330 __ |a 本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。

• 410 _0 |1 2001 |a 图灵原版计算机科学系列

• 510 1_ |a 数理逻辑 |z chi

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

• 690 __ |a O141 |v 4

• 701 _1 |a 恩德滕, |A En De Teng |b H. B. |g (Enderton, Herbert B.) |4 著

• 801 _0 |a CN |b 江苏新华 |c 2005122

• 801 _2 |a CN |b AUSTL |c 20060721

• 905 __ |a AUSTL |d O141/E263