| 000 | 00565nam a2200229Ia 4500 | ||
|---|---|---|---|
| 100 | _aHUTH MICHAEL and RYAN MARK | ||
| 020 | _a0-521-67089-6 | ||
| 250 | _a2nd | ||
| 650 | _aLogic in Computer Science | ||
| 365 | _cRS | ||
| 365 | _d1 | ||
| 365 | _e30 | ||
| 942 | _cENGBK | ||
| 654 | _aLogic | ||
| 654 | _ain | ||
| 654 | _aComputer | ||
| 654 | _aScience | ||
| 654 | _aLogic in Computer Science | ||
| 245 |
_aLogic in Computer Science _bModelling and Reasoning about Systems |
||
| 260 |
_bCambridge University Press _c2004 _aNew York |
||
| 300 | _aXIV+427P | ||
| 999 |
_c13456 _d13456 |
||