| 000 | 00393nam a2200145Ia 4500 | ||
|---|---|---|---|
| 100 | _aHuth, Michael & Ryan, Mark | ||
| 020 | _a0-521-67089-6 | ||
| 250 | _a2nd ed | ||
| 654 | _aComputer Science | ||
| 942 | _cBK | ||
| 245 |
_aLogic in computer science _bmodelling and reasoning about systems |
||
| 260 |
_aCambridge University Press, UK _c2004 |
||
| 082 | _a511.3 Hut/Rya | ||
| 300 | _axiv,427 | ||
| 999 |
_c46018 _d46018 |
||