| 000 | 00452cam a2200145 a 4500 | ||
|---|---|---|---|
| 008 | 850613s1986 nyu b 001 0 eng | ||
| 020 | _a0060422254 | ||
| 080 |
_a681.325.6 _bGAL |
||
| 100 | 1 |
_aGallier, Jean H. _92171 |
|
| 245 | 1 | 0 |
_aLogic for computer science : _bfoundations of automatic theorem proving / _cJean H. Gallier. |
| 260 |
_aNew York, NY : _bHarper & Row, _cc1986. |
||
| 300 | _axv, 511 p. ; | ||
| 653 | _aComputer science | ||
| 942 | _cBK | ||
| 999 |
_c161781 _d161781 |
||