机读格式显示(MARC)

• 000 01727nam 2200577 a 4500

• 001 0000388632

• 003 SCNU

• 008 030924r20032002cc a b 001 0 eng d

• 020 __ |a 7505388282

• 040 __ |a SJT |c SJT

• 041 0_ |a eng |b chi

• 082 04 |a 511.3 |2 21

• 093 __ |a O141 |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, 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 231030 |z 2

• 920 __ |a 211130 |z 1

• 920 __ |a 261030 |z 2

• 920 __ |a 211050 |z 2

• 920 __ |a 211070 |z 1

• 920 __ |a 211010 |z 2

• 920 __ |a 235010 |z 2

• 920 __ |a 231010 |z 1

• 920 __ |a 211060 |z 1

• 920 __ |a 211162 |z 1

• 920 __ |a 222030 |z 2

• 920 __ |a 261020 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 234030 |z 1

• 920 __ |a 211020 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 235030 |z 1

• 950 __ |a SCNU |f O141/B724-4

• 998 __ |a SJT

• 999 __ |t C |A hwei2 |a 20040223 16:30:55 |M zxq |m 20040317 15:08:43 |G zxq |g 20040317 15:08:51

• 000 1000001592

• 991 __ |a 022004000143

• 907 __ |a SCNU |f O141/B724-4