| 000 | 00621nam a2200193 4500 | ||
|---|---|---|---|
| 001 | 0000011858 | ||
| 008 | 231118s9999 xx 000 0 und d | ||
| 020 | 0 | 0 | _a013564139X |
| 040 | _aPJB | ||
| 090 | 0 |
_aQA9 _b.B3955 1993 |
|
| 100 | 0 | 0 |
_aBen-Ari, M. _d1948- |
| 245 | 0 | 0 |
_aMathematical logic for computer science _cM. Ben-Ari. |
| 260 | 0 | 0 |
_aNew York _bPrentice Hall _c1993. |
| 300 |
_axi, 305 p. _bill. _c24 cm. |
||
| 440 | 0 | 0 | _aPrentice Hall international series in computer science |
| 500 | 0 | _aInclude Index | |
| 504 | 0 | 0 | _aIncludes bibliographical references (p. 274-277) |
| 650 | 0 | 0 | _aLogic, Symbolic and mathematical. |
| 999 |
_c127837 _d127837 |
||