| 000 | 00778cam a22002294a 4500 | ||
|---|---|---|---|
| 999 |
_c5560 _d5560 |
||
| 010 | _a 99015233 | ||
| 020 | _a0521652006 | ||
| 020 | _a0521656028 (pbk.) | ||
| 082 | _a003.3 | ||
| 100 | 1 |
_aHuth, Michael, _d1962- _936465 |
|
| 245 | 1 | 0 |
_aLogic in computer science : _bmodelling and reasoning about systems / _cMichael Huth, Mark Ryan. |
| 260 |
_aCambridge, [England] ; _aNew York : _bCambridge University Press, _c2000. |
||
| 300 |
_axviii, 387 p. : _bill ; _c25 cm. |
||
| 504 | _aIncludes bibliographical references (p. 375-377). | ||
| 526 | _aCSCI325 | ||
| 650 | 0 |
_aComputer logic. _936466 |
|
| 700 | 1 |
_aRyan, Mark, _d1962- _936467 |
|
| 856 |
_uhttps://uowd.box.com/s/p95kqo6z1xe76ufxb0j0kza5dho3mqfi _zLocation Map |
||