机读格式显示(MARC)

• 000 01168nam a2200349 a 4500

• 001 0000434048

• 003 CAL

• 005 20250104171300.0

• 008 030924r20032002cc a b 001 0 eng d

• 020 __ |a 7505388282 |c CNY38.00

• 040 __ |a SJT |c SJT

• 041 0_ |a eng |b chi

• 082 00 |a 511.3 |2 21

• 090 __ |a O141.3/E4=4

• 093 __ |a O141.3 |2 4

• 099 __ |a CAL 022003147155

• 100 1_ |a Boolos, George.

• 245 10 |a Computability and logic = |b 可计算性与数理逻辑 / |c George S. Boolos, John P. Burgess, Richard C. Jeffrey 著.

• 246 31 |a 可计算性与数理逻辑

• 250 __ |a 4th ed.

• 260 __ |a Beijing : |b Pub. House of Electronic Industry, |c 2003.

• 300 __ |a 9, 356 p. : |b ill. ; |c 24 cm.

• 440 _0 |a 国外计算机科学教材系列

• 504 __ |a Includes bibliographical references (p. 348) and index.

• 534 __ |p Reprint. Originally published: |c Cambridge : Cambridge University Press, c2002. |b 4th ed. |z 0521809754 |z 0521007585 (pbk.)

• 650 _0 |a Computable functions.

• 650 _0 |a Recursive functions.

• 650 _0 |a Logic, Symbolic and mathematical.

• 700 1_ |a Burgess, John P., |d 1948-

• 700 1_ |a Jeffrey, Richard C.

• 920 __ |a 261060 |z 1

• 998 __ |a SJT