机读格式显示(MARC)

• 000 00765nam 2200277 a 4500

• 001 0000156919

• 003 CAL

• 005 20060915083700.0

• 008 060915s1985 pb 00010 eng d

• 020 __ |a 0-201-18260-2

• 037 __ |b X145362-3

• 040 __ |c XJT

• 090 __ |a 73.87221/M202/1

• 093 __ |a 73.87221 |2 4

• 099 __ |a CAL 022000353638

• 100 1_ |a Manna, Z.

• 245 10 |a The logical basis for computer programming v.I |b deductive reasoning |c Z. Manna & R. Waldinger

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

• 300 __ |a 618 p. |c 21cm

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

• 650 _0 |a Logic, symbolic and mathematical.

• 700 1_ |a R. Waldinger.

• 920 __ |a 242120 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 223140 |z 1

• 998 __ |a XJT