| 000 | 00776nam a22002177a 4500 | ||
|---|---|---|---|
| 999 |
_c24611 _d24611 |
||
| 003 | VITAP | ||
| 005 | 20191218175411.0 | ||
| 008 | 181224b ||||| |||| 00| 0 eng d | ||
| 020 | _a9780521670890 | ||
| 040 | _cVITAP | ||
| 082 |
_223rd _a005.1015113 HUT |
||
| 100 |
_97261 _aHuth, Michael |
||
| 245 |
_aLogic in Computer Science : _bModelling and Reasoning about Systems _c/ Michael Huth and Mark Ryan |
||
| 260 |
_aNew Delhi _bCambridge University Press _c2016 |
||
| 300 |
_bxiv, 427p. : ill. ; _c24cm |
||
| 500 | _aIt includes Bibliography and Index Pages | ||
| 653 | _aComputer logic; Logic programming | ||
| 700 |
_97262 _aRyan, Mark |
||
| 856 | _uhttps://www.amazon.com/Logic-Computer-Science-Modelling-Reasoning/dp/0521670896#reader_0521670896 | ||
| 942 |
_2ddc _cREF |
||