| 000 | 00394nam a2200145Ia 4500 | ||
|---|---|---|---|
| 001 | 2512 | ||
| 005 | 20261006003628.0 | ||
| 008 | 120911s9999 xx 000 0 und d | ||
| 020 | _a0471615463 | ||
| 082 | _a004.015113 GAL | ||
| 100 |
_aGallier, Jean H. _93641 |
||
| 245 | _aLogic for computer science / Jean H. Gallier. | ||
| 260 | _aJohn Wiley & Sons | ||
| 650 |
_aAutomatic therorem proving _93642 |
||
| 999 |
_c2512 _d2512 |
||