| 000 | 00330nam a2200109Ia 4500 | ||
|---|---|---|---|
| 008 | 230901s9999 xx 000 0 und d | ||
| 020 | _a9780521670890 | ||
| 100 | _aHuth, M | ||
| 245 | 0 | _aLogic in computer science: Modelling and reasoning about systems | |
| 260 |
_aNew Delhi _bCambridge University Press _c2004 |
||
| 300 | _axiv, 427p. | ||
| 999 |
_c44984 _d44984 |
||