| 000 | 00593nam a2200229Ia 4500 | ||
|---|---|---|---|
| 001 | M9570 | ||
| 005 | 20250219110825.0 | ||
| 008 | 250219s9999 xx 000 0 und d | ||
| 020 | _a1852333197 | ||
| 100 | _a"Ben-Ari, Mordechai" | ||
| 245 | 0 | _aMathematical logic for computer science | |
| 250 | _a2 | ||
| 260 | _aLondon | ||
| 260 | _bSpringer | ||
| 260 | _c2001 | ||
| 300 | _a"xiv,304p. ;23.5cm." | ||
| 500 | _aincludes bibliography and index | ||
| 650 | _a"Logic, Symbolic and mathematical" | ||
| 650 | _aComputer logic | ||
| 650 | _aComputer science --Mathematics | ||
| 942 | _cBK | ||
| 999 |
_c9823 _d9823 |
||