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