| 000 | 00377nam a2200121Ia 4500 | ||
|---|---|---|---|
| 008 | 210219s9999||||xx |||||||||||||| ||und|| | ||
| 082 | _a511.3 H779L | ||
| 100 |
_aHuth Michael R A., Ryan, Mark D. _931556 |
||
| 245 | 0 | _aLogic in computer science: modelling and reasoning about systems. | |
| 260 |
_aNew York _bCambridge university press _c2000 |
||
| 300 | _axvi;387p | ||
| 942 | _cBK | ||
| 999 |
_c38372 _d38372 |
||