| 000 | 00380nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 220718s2015||||xx |||||||||||||| ||und|| | ||
| 020 | _a9780486780825 | ||
| 100 | 1 | _aGallier, J.H | |
| 245 | 1 |
_aLogic for computer science _bfoundations of automatic theorem proving _cJ.H. Gallier |
|
| 250 | _a2 | ||
| 260 |
_aNew York _bDover Publication _c2015 |
||
| 300 |
_axxiii _e496 |
||
| 942 | _cBK | ||
| 999 |
_c22358 _d22358 |
||