| 000 | 00695pam a2200217 a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20150803112739.0 | ||
| 008 | 900206s1990 enka b 001 0 eng | ||
| 020 | _a0201416433 | ||
| 040 | _aSEKU | ||
| 050 | 0 | 0 |
_aQA 9 _b.R4 |
| 100 | 1 | _aReeves, Steve, | |
| 245 | 1 | 0 |
_aLogic for computer science / _cSteve Reeves, Michael Clarke. |
| 260 |
_aWokingham, England ; _aReading, Mass. : _bAddison-Wesley, _cc1990. |
||
| 300 |
_axi, 260 p. : _bill. ; _c24 cm. |
||
| 440 | 0 | _aInternational computer science series | |
| 504 | _aIncludes bibliographical references (p. 255-256) and index. | ||
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 700 | 1 | _aClarke, Michael, | |
| 942 |
_2lcc _cGEN |
||
| 999 |
_c8033 _d8033 |
||