| 000 | 00581 a2200205 4500 | ||
|---|---|---|---|
| 005 | 20240419125247.0 | ||
| 008 | 221010b ||||| |||| 00| 0 eng d | ||
| 020 | _a9780521543101 | ||
| 041 | _aeng | ||
| 082 | _a005.1015113 HUT/L | ||
| 100 |
_aHuth, Michael _96558 |
||
| 245 | _aLogic in computer science: modelling and reasoning about systems | ||
| 250 | _a2nd ed. | ||
| 260 |
_bCambridge University Press _c2018 _aCambridge |
||
| 300 | _axiv, 427p. | ||
| 650 |
_aComputer science _91296 |
||
| 650 |
_aMathematical logic _95049 |
||
| 700 |
_aRyan, Mark _96559 |
||
| 942 | _cBK | ||
| 999 |
_c1921 _d1921 |
||