| 000 | 00544nam a2200217Ia 4500 | ||
|---|---|---|---|
| 020 | _a9780521670890 | ||
| 041 | _aEnglish | ||
| 082 | _a005.115 HUT | ||
| 100 | _aHUTH AND RYAN | ||
| 111 | _aNO | ||
| 245 | _aLOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS | ||
| 250 | _a2 | ||
| 260 |
_bCAMBRIDGE _c2012 |
||
| 300 |
_a427 _b25 _fPaper |
||
| 365 |
_b595.00 _dRupees |
||
| 366 | _ePURCHASE | ||
| 541 |
_aALLIED PUBLISHERS _d21-09-2013 _cSupplier |
||
| 652 | _aCOMPUTER SCIENCE | ||
| 852 | _aCENTRAL LIBRARY | ||
| 942 | _cBK | ||
| 999 |
_c50652 _d50652 |
||