| 000 | 00489nam a2200181Ia 4500 | ||
|---|---|---|---|
| 001 | 72899 | ||
| 008 | 160428s9999 xx 000 0 und d | ||
| 020 | _a9780486780825 | ||
| 040 | _cPK-LaUMT | ||
| 082 |
_a 511.36028563 _bGAL-L |
||
| 100 | _aGallier, Jean H. | ||
| 245 |
_aLogic for computer science / _bfoundations of automatic theorem proving _cGallier, Jean H. |
||
| 250 | _a2nd | ||
| 260 |
_aMineola: _bDover Publications, _c2015 |
||
| 300 | _a496 p. | ||
| 546 | _aEN | ||
| 942 | _cBK | ||
| 999 |
_c85852 _d85852 |
||