000 00561nam a2200217 454500
001 030985
003 BD-ChCU
008 Eng
020 _ax
040 _aDLC
_cDLC
_dBD-ChCU
082 0 0 _a519.4/B393m
100 1 _aBeckman, Frank S.
_bx
245 1 0 _aMathematical Foundations of programming
_bx
250 _ax
260 _aMassachusetts; London
_bAddison-Wesley
_c1980
300 _axviii,443
504 _aIndex
650 0 _aMathematics - Computer assisted instruction
_bLogic, symbolic and mathematical
700 1 _ax
942 _2ddc
_cBK
999 _c30985
_d30985