| 000 | 00534nam a2200181Ia 4500 | ||
|---|---|---|---|
| 008 | 180620b2005 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a8181283449 | ||
| 082 | _a511.3 BEN | ||
| 100 | _aBen-Ari, Mordechai | ||
| 245 |
_aMathematical Logic for Computer Science _cMordechai Ben-Ari |
||
| 250 | _a2nd ed. | ||
| 260 |
_aLondon _bSpringer Verlag _c2005 |
||
| 300 | _axiv, 304p. | ||
| 365 | _a.00 | ||
| 650 | _aLogic, Symbolic and mathematical | ||
| 650 | _aComputer science -- Mathematics. | ||
| 906 | _a2dba3bbd7f000001019e28df98032173 | ||
| 999 |
_c60158 _d60158 |
||