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 |