000 00635 a2200205 4500
003 Nust
005 20170207154038.0
010 _a 90032374
020 _a0201416433
040 _cNust
082 0 0 _a004.015113
100 1 _aReeves, Steve,
245 1 0 _aLogic for computer science (E-BOOK)
_cSteve Reeves, Michael Clarke.
260 _aWokingham, England ;
_aReading, Mass. :
_bAddison-Wesley,
_cc1990.
300 _axi, 260 p. :
_bill. ;
_c24 cm.
440 0 _aInternational computer science series
650 0 _aLogic, Symbolic and mathematical.
651 _aLogic for computer science (E-BOOK)
700 1 _aClarke, Michael,
_d1940-
942 _2ddc
_cBK
999 _c192500
_d192500