| 000 | 00457nam a22001697a 4500 | ||
|---|---|---|---|
| 020 | _a978-1-447-4128-0 | ||
| 040 | _cUDSM | ||
| 050 | _aMATH QA9.B39 2012 | ||
| 100 | 1 |
_aBen-Ari, Mordechai _eAuthor |
|
| 245 | 1 | _aMathematical logic for computer science | |
| 250 | _a3rd ed.- | ||
| 260 |
_aNew York: _bSpringer, _c2012 |
||
| 300 |
_axv,346p.: _bill.; _c23cm. |
||
| 504 | _aInclude index | ||
| 650 | 1 | _aLogic symbolic and mathematical | |
| 942 |
_2lcc _cBK _n0 |
||
| 999 |
_c137038 _d137038 |
||