| 000 | 00650nam a22002057a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20221125153344.0 | ||
| 008 | 120908b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0521670896 | ||
| 040 |
_aDBITLRC _bEnglish _cDBITLRC |
||
| 082 |
_222 _a004.0151 _bHUT/LOG |
||
| 100 |
_9104 _aHuth, Michael., |
||
| 245 |
_aLogic in Computer Science : _bModelling and Reasoning about Systems / _cMichael Huth, Mark Ryan. |
||
| 250 | _a2nd ed. | ||
| 260 |
_aUK : _bCambridge University Press, _cc2004. |
||
| 300 |
_axiii, 427 p.: _bill.; |
||
| 504 | _aThis book is having Bibliographic notes. | ||
| 700 |
_9105 _aRyan, Mark., |
||
| 942 |
_2ddc _cREFERENCE |
||
| 999 |
_c65 _d65 |
||