| 000 | 00574nam a22002057a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20250902121003.0 | ||
| 008 | 250902b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9781447141280 | ||
| 040 | _cx | ||
| 050 | _aQA 9 .B3955 2012 | ||
| 100 | _aBen-Ari, Mordechai | ||
| 245 | _aMathematical logic for computer science | ||
| 250 | _a3rd ed. | ||
| 260 |
_a New York: _bSpringer, _c2012. |
||
| 300 | _axv, 346p. | ||
| 500 | _aIncludes bibliographical references and index | ||
| 650 | _aLogic, Symbolic and mathematical | ||
| 942 |
_2lcc _cBK _mQA 9 .B3955 2012 _n1 |
||
| 999 |
_c1943 _d1943 |
||