机读格式显示(MARC)

• 000 00934nam 22003135a 45

• 000 1000088023

• 001 0000311438

• 008 831201s1958 nyu b 001 0 eng d

• 010 __ |a 57012895

• 020 __ |c CNY1.30

• 040 __ |a DLC/ICU |c ICU

• 050 0_ |a QA248.5 |b .D3

• 082 0_ |a 517.5

• 090 __ |a 511/D295

• 093 __ |a O141.3 |2 3

• 099 __ |a CAL 022000364176

• 100 1_ |a Davis, Martin, |d 1928-

• 245 10 |a Computability & unsolvability / |c Martin David.

• 246 30 |a Computability and unsolvability

• 260 __ |a New York : |b McGraw-Hill, |c 1958.

• 300 __ |a 210 p. ; |c 24 cm.

• 440 _0 |a McGraw-Hill series in information processing and computers

• 504 __ |a Includes bibliographical references (p. 199-203) and index.

• 650 _0 |a Recursive functions.

• 650 _0 |a Computable functions.

• 650 _0 |a Unsolvability (Mathematical logic)

• 901 __HSW200702865

• 905 __ |a CAU |f 511/D295

• 907 __ |a CAU |f 511/D29