| 000 | 00527nam#a2200181ua#4500 | ||
|---|---|---|---|
| 001 | GOACATREC108418 | ||
| 008 | |||
| 245 | 0 | 0 |
_aLogic in computer science: _cMichael Huth _bmodelling and reasoning about systems |
| 100 | 0 | 0 |
_aHuth, Michael _eAuthor |
| 250 | 0 | 0 | _a2nd ed. |
| 260 | 0 | 0 |
_bCambridge University Press, _aNew York. _c2010 |
| 020 | 0 | 0 | _a9780521670890 |
| 300 | 0 | 0 |
_axiv, 427p. _c24 cm. |
| 700 | 0 | 0 | _aRyan, Mark |
| 650 | 0 | 0 | _alogic |
| 650 | 0 | 0 | _aComputer science |
| 504 | 0 | 0 | _aInclude bibliographical references and Index. |
| 999 |
_c107793 _d107793 |
||