| 000 | 00653nam a2200217Ia 4500 | ||
|---|---|---|---|
| 005 | 20230704144145.0 | ||
| 008 | 210716s2008 xx 000 0 und d | ||
| 020 | _a9788181283443 | ||
| 040 | _cAIMIT LIBRARY | ||
| 041 | _aeng | ||
| 082 |
_a511.3 _22 _bBENM |
||
| 100 |
_aBen-Ari, Mordechai. _9125462 |
||
| 245 |
_aMathematical logic for computer science / _cBy Mordechai Ben-Ari |
||
| 250 | _a2nd ed. | ||
| 260 |
_aNew Delhi : _bSpringer , _c2008. |
||
| 300 |
_axiv,304p. ; _bPB : _c22.5 cm |
||
| 650 |
_aPropositional Calculus _9125463 |
||
| 650 |
_aLogic Programming _9125464 |
||
| 650 |
_aTemporal Logic _9125465 |
||
| 942 |
_2ddc _cBK _k511.3 BENM |
||
| 999 |
_c190244 _d190244 |
||