| 000 | 00409nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 190711s9999 xx 000 0 und d | ||
| 020 | _a0521670896 | ||
| 082 | _a621.38195 H973 | ||
| 100 | _aHUTH, M. | ||
| 245 | 0 | _aLOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS | |
| 250 | _a2 | ||
| 260 |
_aNEW YORK _bCambridge University Press _c2005 |
||
| 300 | _axiv+427p.,24X17Cms. | ||
| 942 |
_cBK _2DDC |
||
| 999 |
_c31808 _d31808 |
||