000 | 00623nam a22002177a 4500 | ||
---|---|---|---|
999 |
_c8368 _d8368 |
||
001 | TB7508 | ||
003 | IN-BhIIT | ||
005 | 20240924170337.0 | ||
008 | 170714b xxu||||| |||| 00| 0 eng d | ||
020 | _a9780521670890 (pbk) | ||
040 | _aIN-BhIIT | ||
041 | _aeng | ||
082 |
_a005.1015113 _bHUT/L |
||
100 |
_aHuth, M. _eauthor _92195 |
||
245 |
_aLogic in computer science : _bmodelling and reasoning about systems / _cby M. Huth & M. Ryan. |
||
250 | _a2nd ed. | ||
260 |
_aCambridge : _bCambridge University Press, _c2011. |
||
300 |
_axiv, 427 p. _c25 cm. |
||
650 |
_aComputer Logic. _92196 |
||
942 |
_cTB _013 |