| 000 | 00554nam a2200217Ia 4500 | ||
|---|---|---|---|
| 020 | _a0-521-67089-6 | ||
| 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 UNIVERSITY PRESS _c2004 |
||
| 300 |
_a427 _b25 _fPaper |
||
| 365 |
_b395.00 _dRupees |
||
| 366 | _ePURCHASE | ||
| 541 |
_aALLIED _d05-02-2007 _cSupplier |
||
| 652 | _aPROGRAMMING LANGUAGE | ||
| 852 | _aCENTRAL LIBRARY | ||
| 942 | _cBK | ||
| 999 |
_c18458 _d18458 |
||