| 000 | 00414 a2200133 4500 | ||
|---|---|---|---|
| 999 |
_c124275 _d124275 |
||
| 020 | _a9780521670890(pb) | ||
| 082 | _a005.101 HUT-RYA | ||
| 100 | _aHuth, Michael | ||
| 245 | _aLogic in computer science: modelling and reasoning about systems - 2nd ed. | ||
| 260 |
_aDelhi: _bCambridge University Press; _c2016 |
||
| 300 |
_axiv, 427 p. _c23 cm. |
||
| 650 | _aIncludes bibliography and index. | ||
| 700 | _aRyan, Mark | ||