000 00637nam a2200205Ia 4500
008 191130s2008##################000#0#eng##
020 _a9788181283443
040 _aACL
_cACL
082 _a551.3 BEN
100 _aBen-Ari, Mordechai
245 _aMathematical logic for computer science
_cMordechai Ben-Ari
250 _a2nd ed. /Second Indian rep
260 _aNew Delhi
_bSpringer (India) PVT Ltd
_c2008
300 _aix, 304 p. : ill
500 _aIncludes bibliographical references and index
650 _aLogic, Symbolic and mathematical
990 _a2d98d3f5ac10000c363def33d319275c
991 _a148119
999 _c5583
_d5583