机读格式显示(MARC)

• 000 01013nam2 2200337 4500

• 000 1000007355

• 001 0000163677

• 003 CAL

• 005 20050125105128.0

• 008 981216s1980 nyu b 00110 eng

• 010 __ |a 79025360

• 020 __ |a 0444003223 |c CNY1.20

• 040 __ |a XAIT |c XAIT

• 050 00 |a QA76.6 |b .W34

• 082 00 |a 001.6/42

• 090 __ |a TP33/E2

• 093 __ |a TP33 |2 4

• 099 __ |a CAL 022000334668

• 100 1_ |a Wand, Mitchell.

• 245 10 |a Induction, recursion, and programming / |c Mitchell Wand.

• 260 __ |a New York : |b North Holland, |c c1980.

• 300 __ |a xii, 202 p. ; |c 24 cm.

• 504 __ |a Includes bibliographical references(p.190-194) and index.

• 650 _0 |a Induction (Mathematics)

• 650 _0 |a Recursion theory.

• 650 _0 |a Electronic digital computers |x Programming.

• 905 __ |a XATU |d TP33/E2

• 920 __ |a 261060 |z 1

• 950 __ |a 261060 |f TP33/E2

• 991 __022005003318

• 999 __ |t C |A zhaining |a 20050125 10:49:42 |M zhaining |m 20050125 10:51:28 |G zhaining |g 20050125 10:51:5