机读格式显示(MARC)

• 000 01425nam 2200517 a 4500

• 001 0000402691

• 003 SCNU

• 005 20050718134505.0

• 008 790201s1980 maua b 00110 eng

• 010 __ |a 79001453 //r85

• 020 __ |a 020114462X

• 040 __ |c PUL

• 050 0_ |a QA9 |b .B36

• 082 __ |a 519.4

• 093 __ |a TP31 |2 4

• 099 __ |a CAL 022000251381 |a CAL 022000380790

• 100 1_ |a Beckman, Frank S.

• 245 10 |a Mathematical foundations of programming / |c Frank S. Beckman.

• 260 __ |a Reading, MA : |b Addison-Wesley, |c c1980.

• 300 __ |a xviii, 443 p. : |b ill. ; |c 25 cm.

• 490 0_ |a The Systems programming series

• 504 __ |a Includes bibliographies and index.

• 650 _0 |a Logic, Symbolic and mathematical.

• 650 _0 |a Machine theory.

• 650 _0 |a Formal languages.

• 740 01 |a Mathematical foundations of computing.

• 920 __ |a 211010 |b O14 |c B389 |z 1

• 920 __ |a 231030 |b TP31 |c B397M |z 1

• 920 __ |a 211180 |z 2

• 920 __ |a 231220 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 251050 |z 1

• 920 __ |a 211060 |z 1

• 920 __ |a 244050 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 236010 |z 2

• 920 __ |a 242010 |z 1

• 920 __ |a 243040 |z 1

• 920 __ |a 211260 |z 1

• 950 __ |a SCNU |f TP31/B397

• 998 __ |a PUL

• 999 __ |t C |A lm2 |a 20050718 13:44:33 |M lm2 |m 20050718 13:45:05

• 000 1000016152

• 991 __ |a 022005011595

• 907 __ |a SCNU |f TP31/B397