| 000 | 00454nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 120911s9999 xx 000 0 und d | ||
| 020 | _a0201416433 | ||
| 082 | _a004.01511REE | ||
| 100 | _a Reeves,steve/clarke,michael | ||
| 245 | _a Logic for computer science | ||
| 260 | _a Addison-wesley | ||
| 650 | _a Logic, symbolic and mathematical | ||
| 999 |
_c16236 _d16236 |
||
| 952 |
_w2012-09-11 _p5770 _r2012-09-11 _40 _00 _bNU _10 _o004.01511REE _d2012-09-11 _70 _yOS _aNU |
||