机读格式显示(MARC)

• 000 01005cam 2200289 a 4500

• 000 1000102456

• 001 0000325500

• 005 20100310163642.0

• 008 981216s1985 maua b 001 0 eng

• 020 __ |a 026215028X : |c CNY4.90

• 040 __ |c SJT

• 090 __ |a TP312/OMJ

• 093 __ |a TP312 |2 4

• 099 __ |a CAL 022000313445

• 100 1_ |a O'Donnell, Michael J., |d 1952-

• 245 10 |a Equational logic as a programming language / |c Michael J. O'Donnell.

• 260 __ |a Cambridge, Mass. : |b MIT Pr., |c c1985.

• 300 __ |a 296 p. : |b ill. ; |c 24 cm.

• 490 __ |a MIT Press series in the foundations of computing

• 504 __ |a Includes bibliographical references (p. 277-284) and index

• 650 __ |a Equations, Theory of.

• 650 __ |a Programming languages (Electronic computers)

• 650 __ |a Logic, Symbolic and mathematical.

• 901 __022008001160

• 905 __ |a CAU |f TP312/OMJ |b E0273425

• 907 __ |a CAU |f TP312/OMJ |b E0273425

• 999 __ |t C |A gxr |a 20080325 10:46:15 |I gxr |i 20100310 16:36:42 |G gxr |g 20100310 16:36:4