机读格式显示(MARC)

• 000 01331nam 2200457 a 4500

• 001 0000405448

• 003 SCNU

• 008 061017r20061997cc b 001 0 eng d

• 020 __ |a 7111197720

• 040 __ |a NMU |c NMU

• 082 04 |a 005.1/01/5113 |2 20

• 093 __ |a TP301 |2 4

• 093 __ |a O141 |2 4

• 099 __ |a CAL 022006109973

• 100 1_ |a Nerode, Anil, |d 1932-

• 245 10 |a Logic for applications = |b 应用逻辑 / |c Anil Nerode, Richard A. Shore著.

• 246 31 |a 应用逻辑

• 250 __ |a 2nd ed.

• 260 __ |a 北京 : |b China Machine Press, |c 2006.

• 300 __ |a xiii, 456 p. : |b ill. ; |c 25 cm.

• 440 _0 |a 经典原版书库

• 440 _0 |a HZ Books

• 534 __ |p Reprint. Originally published: |c New York : Springer, c1997, |b 2nd ed. |z 0387948937 (hc : alk. paper)

• 650 _0 |a Computer science |x Mathematics.

• 650 _0 |a Logic, Symbolic and mathematical.

• 700 1_ |a Shore, Richard A., |d 1946-

• 920 __ |a 215010 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 245010 |z 2

• 920 __ |a 231030 |z 2

• 920 __ |a 221020 |z 1

• 920 __ |a 211010 |z 2

• 920 __ |a 244180 |z 2

• 920 __ |a 261030 |z 2

• 920 __ |a 211060 |z 1

• 950 __ |a SCNU |f O141/N451-2

• 998 __ |a NMU

• 999 __ |t C |A zxq |a 20061220 08:59:04 |M zxq |m 20061222 08:29:15 |G zxq |g 20061222 14:52:15

• 000 1000019050

• 991 __ |a 022006001551

• 907 __ |a SCNU |f O141/N451-2