| 000 | 00854nam a2200241Ia 4500 | ||
|---|---|---|---|
| 005 | 20230921142620.0 | ||
| 008 | 210716s2012 xx 000 0 und d | ||
| 020 | _a9780521670890 | ||
| 040 | _cAIMIT LIBRARY | ||
| 041 | _aeng | ||
| 082 |
_a005.13 _22 _bHUTM |
||
| 100 |
_aHuth, Michael. _9134366 |
||
| 245 |
_aLogic in computer science: _bmodelling and reasoning about systems / _cBy Michael Huth and Mark Ryan. |
||
| 250 | _a2nd ed. | ||
| 260 |
_aNew York : _bCambridge University Press , _c2012. |
||
| 300 |
_axiv,427p. ; _bPB _c24 cm. |
||
| 650 |
_aPropositional logic _9134367 |
||
| 650 |
_aSemantics of propositional logic _9134368 |
||
| 650 |
_aPredicate logic as a formal language _9134369 |
||
| 650 |
_aImportant properties of the accessibility relation _9134370 |
||
| 700 |
_aRyan, Mark. _9134371 |
||
| 942 |
_2ddc _cBK _e2nd ed. _k005.13 HUTM |
||
| 999 |
_c193302 _d193302 |
||