| 000 | 00623nam a22002177a 4500 | ||
|---|---|---|---|
| 999 |
_c8368 _d8368 |
||
| 001 | TB7508 | ||
| 003 | IN-BhIIT | ||
| 005 | 20240219175508.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 _012 |
||