| 000 | 00352nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 211209s2004 xx 000 0 und d | ||
| 020 | _a0521670890 | ||
| 041 | _aeng | ||
| 100 | _aHUTH MICHAEL A | ||
| 245 | _aLOGIC IN COMPUTER SCIENCE: MODELING AND REASONING | ||
| 250 | _a2 ed. | ||
| 260 |
_aNEW DELHI _bCAMBRIDGE PRESS _c2004 |
||
| 300 | _aXIV + 427 | ||
| 999 |
_c106071 _d106071 |
||