00517pam a2200133 a 4500020002100000020002300021082001500044100002300059245004400082260004000126300003400166500005000200650013300250  a8181283449 (pbk)  a9781447173618 (hb)00a511.3bBEN  aBen-Ari, Mordechai00aMathematical logic for computer science  aLondonbSpringer-Verlagc2003, 2019  axiv, 304 p.b: ill.c; 24 cm.  aIncludes bibliographical references and index 0aAlgebra vElectronic data processingvComputer sciencevPredicate calculusvLogic programmingvTemporal logicvAlgebravFCvFBSH