000 00445nam a2200181 4500
008 160616s2001 000 0
245 _aMathematical Logic for Computer Science
100 _aBen-Ari, Mordechai.
250 _a2nd
260 _aLondon
260 _bSpringer
260 _c2001
300 _a304
020 _a1-85233-319-7
650 _aLogic, Symbolic and Mathematical
942 _cBK
_2BK17337
_02
080 _a510.6 BEN
999 _c17337
_d17337