| 000 | 00831cam a2200301ua 4500 | ||
|---|---|---|---|
| 001 | 51535 | ||
| 005 | 20171214170107.0 | ||
| 007 | ta | ||
| 008 | 150512s2004 a g b000 u eng u | ||
| 020 |
_a9780521670890 _cRS795.00 |
||
| 040 | _aMAIN | ||
| 041 | 1 |
_aeng _hNULL |
|
| 044 | _a | ||
| 082 | 1 | 4 |
_a003.3 _bHUT/L |
| 100 | 1 | _aHuth, Michael. | |
| 245 | 1 | 0 |
_aLogic in computer science : modelling and reasoning about systems / _cMichael Huth and Mark Ryan. |
| 250 |
_a / _b. |
||
| 260 |
_aCambridge : _bCambridge University Press , _c2004. |
||
| 300 |
_axiv,427p. : _bIll.,figs. ; _c23cm. . |
||
| 365 | _aRS795.00 | ||
| 504 | _aIncludes bibliography and index | ||
| 653 | 0 | _aCOMPUTER MODELING | |
| 700 | 1 | _aRyan, Mark . | |
| 942 | _cBK | ||
| 999 |
_c51210 _d51210 |
||