| 000 | 00428nam a22001697a 4500 | ||
|---|---|---|---|
| 020 | _a0-8176-3453-0 | ||
| 040 | _cUDSM | ||
| 050 | _aMATH QA9.S363 | ||
| 100 | 1 |
_aSchoning , Uwe _eAuthor |
|
| 245 | 1 | _aLogic for computer scientists | |
| 260 |
_aBoston: _bBirkhauser, _c1989 |
||
| 300 |
_a166p.: _bill,; _c23cm. |
||
| 650 | 1 | _aLogic | |
| 650 | 1 | _asymbolic and mathematical | |
| 650 | 1 | _aLogic programming | |
| 942 |
_2lcc _cBK _n0 |
||
| 999 |
_c136110 _d136110 |
||