机读格式显示(MARC)

• 000 01026cam 2200289 a 4500

• 000 1000082802

• 001 0000306461

• 005 20080325134940.0

• 008 890301s1985 maua b 001 0 eng d

• 020 __ |c CNY8.40

• 020 __ |a 0201182602 (v.1) : |c CNY30.00

• 040 __ |c XJT

• 090 __ |a TP31/MZ

• 093 __ |a TP31 |2 4

• 099 __ |a CAL 022000353638

• 100 1_ |a Manna, Z. |q (Zohar)

• 245 10 |a The logical basis for computer programming. |n V.I, |p Deductive reasoning / |c Zohar Manna, Richard. Waldinger.

• 260 __ |a Reading ,Mass. : |b Addison-Wesley, |c 1985.

• 300 __ |a xii, 618 p. : |b ill. ; |c 24 cm.

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Programming (Electronic digital computers).

• 650 _0 |a Logic, symbolic and mathematical.

• 700 1_ |a Waldinger, Richard.

• 901 __022007001502

• 905 __ |a CAU |f TP31/MZ |b E0212150(or.) |b E0273419-20

• 907 __ |a CAU |f TP31/MZ |b E0212150(or.) |b E0273419-20

• 999 __ |t E |A gxr |a 20080325 13:46:59 |G wzhlc |g 20070518 11:15:58 |I gxr |i 20100310 16:42:0