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 |
_c14434 _d14434 |
||
952 |
_w2012-09-11 _p5769 _r2012-09-11 _40 _00 _bNU _10 _o004.01511REE _d2012-09-11 _70 _yOS _aNU |