000 00504cam a2200169 a 4500
008 840926s1984 nju b 001 0 eng
020 _a0135399661
080 _a681.325.6
_bHEH
100 1 _aHehner, Eric C. R.
_93740
245 1 4 _aLogic of programming /
_cEric C.R. Hehner.
260 _aNew Delhi
_bPrentice/Hall International,
_cc1991.
300 _a361 p. ;
500 _aIncludes index.
650 0 _aComputer programming.
650 0 _aLogic, Symbolic and mathematical.
_92781
942 _cBK
999 _c162496
_d162496