| 000 | 00398nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 211209s2012 xx 000 0 und d | ||
| 020 | _a978052167089 | ||
| 041 | _aeng | ||
| 082 | _a005.1015113 HUT/RYA | ||
| 100 | _aHUTH, MICHAEL A | ||
| 245 | _aLOGIC IN COMPUTER SCIENCE: MODELING AND REASONING | ||
| 250 | _a2 ed. | ||
| 260 |
_aNEW DELHI _bCAMBRIDGE UNIVERSITY PRESS _c2012 |
||
| 300 | _aIX, 427 | ||
| 999 |
_c70417 _d70417 |
||