| 000 | 00591cam a2200205 i 4500 | ||
|---|---|---|---|
| 005 | 20180517151724.0 | ||
| 008 | 141212r20152003nyu b 001 0 eng | ||
| 020 | _a9780486780825 | ||
| 040 | _aNISER LIBRARY | ||
| 041 | _aEnglish | ||
| 082 |
_a004.421 _bGAL-L |
||
| 100 | 1 | _aGallier, Jean H. | |
| 245 | 1 | 0 | _aLogic for computer science:foundations of automatic theorem proving |
| 250 | _a2nd. ed. | ||
| 260 |
_aNew York _bDover Publication _c2015 |
||
| 300 | _axxiii, 496p. pbk | ||
| 650 | 0 | _aAutomatic theorem proving. | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 942 | _cBK | ||
| 999 |
_c28926 _d28926 |
||