机读格式显示(MARC)

• 000 01666nam2 2200529 4500

• 000 1000004327

• 001 0000160712

• 003 CAL

• 005 20050110095004.0

• 008 890414s1989 ne a b 00110 eng

• 010 __ |a 89033636

• 020 __ |a 0444874062 |c CNY15.00

• 037 __ |a 7156192-3 |b ph |c 15.00

• 040 __ |a XAIT |a DLC |c DLC |d DLC

• 041 1_ |a eng |a ger

• 050 00 |a QA9.59 |b .B6713 1989

• 082 00 |a 511.3 |2 20

• 090 __ |a O141.3/E3

• 093 __ |a O141.3 |2 4

• 099 __ |a CAL 022000212551 |a CAL 022000819289 |a CAL 022001117989

• 100 1_ |a Bèorger, E. |q (Egon), |d 1946-

• 240 10 |a Berechenbarkeit, Komplexitèat, Logik. |l English

• 245 10 |a Computability, complexity, logic / |c E. Bèorger.

• 260 __ |a Amsterdam : |b North-Holland, |c 1989.

• 300 __ |a xx, 592 p. : |b ill. ; |c 23 cm.

• 440 _0 |a Studies in logic and the foundations of mathematics ; |v v. 128

• 500 __ |a Includes index.

• 500 __ |a Translation of: Berechenbarkeit, Komplexitèat, Logik.

• 504 __ |a Bibliography: p. 529-573.

• 650 _0 |a Computational complexity.

• 650 _0 |a Logic, Symbolic and mathematical.

• 650 _0 |a Computable functions.

• 905 __ |a XATU |d O141.3/E3

• 920 __ |a 261020 |b TP301 |c B672 |z 1

• 920 __ |a 244180 |z 2

• 920 __ |a 244050 |z 2

• 920 __ |a 212010 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 211130 |z 1

• 920 __ |a 251050 |z 1

• 920 __ |a 211168 |z 2

• 920 __ |a 211010 |b O141.3 |c B633 |z 1

• 920 __ |a 231030 |b O141.3 |c B732C |z 1

• 950 __ |a 261060 |f O141.3/E3

• 991 __022005000339

• 998 __ |a PUL

• 999 __ |t C |A shenxiaoyan |a 20050110 09:48:40 |M shenxiaoyan |m 20050110 09:50:04 |G shenxiaoyan |g 20050110 09:50:2