| 000 | 00604nam a2200193Ia 4500 | ||
|---|---|---|---|
| 919 | _a001540 | ||
| 020 | _a0471615463 | ||
| 082 |
_a511.3 _bN877 |
||
| 100 | _aGallier, Jean H. | ||
| 245 |
_aLogic for computer science : foundations of automatic theorem proving _cby Jean H. Gallier. |
||
| 260 |
_aNew York _bJohn Wiley _c1987 |
||
| 300 | _axv, 511p. | ||
| 690 | _aAutomatic theorem proving; Logic, Symbolic and mathematical. | ||
| 999 |
_c1540 _d1540 |
||