机读格式显示(MARC)

• 000 00892cam 2200301 a 4500

• 001 0000516394

• 003 CAL

• 005 20050410111600.0

• 008 050410s1980 maua b 001 0 eng

• 010 __ |a 79001453 //r85

• 020 __ |a 020114462X

• 040 __ |c PUL

• 050 00 |a QA9 |b .B36

• 082 __ |a 519.4

• 090 __ |a O14/B397

• 093 __ |a O14 |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 bibliographicals and index.

• 650 _0 |a Logic, Symbolic and mathematical.

• 650 _0 |a Machine theory.

• 650 _0 |a Formal languages.

• 740 0_ |a Mathematical foundations of computing.

• 950 __ |a JHUL |b O14 |c B397