000			00587pam a2200169 a 4500
999			_c2172 _d2172
020			_a8181283449 (pbk)
020			_a9781447173618 (hb)
082	0	0	_a511.3 _bBEN
100			_aBen-Ari, Mordechai
245	0	0	_aMathematical logic for computer science
260			_aLondon _bSpringer-Verlag _c2003, 2019
300			_axiv, 304 p. _b: ill. _c; 24 cm.
500			_aIncludes bibliographical references and index
650		0	_aAlgebra _vElectronic data processing _vComputer science _vPredicate calculus _vLogic programming _vTemporal logic _vAlgebra _vFC _vFBSH
942			_cBK