| 000 | 00624 a2200181 4500 | ||
|---|---|---|---|
| 020 | _a052154310X | ||
| 040 |
_aDLC _bDLC |
||
| 082 | 0 | 0 | _a005.1015113 |
| 100 | 1 | _aHuth, Michael, | |
| 245 | 1 | 0 |
_aLogic in computer science: modelling and reasoning about systems _bmodelling and reasoning about systems _cMichael Huth, Mark Ryan. |
| 250 | _a2nd ed. | ||
| 260 |
_aCambridge [U.K.] ; _aNew York : _bCambridge University Press, _c2004. |
||
| 300 |
_axiv, 427 p. : _bill. ; _c25 cm. |
||
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aLogic programming (Computer science) | |
| 700 | 1 |
_aRyan, Mark, _d1962- |
|
| 942 |
_cBK _k005.1015113 HUT _2ddc |
||
| 999 |
_c5847 _d5847 |
||