| 000 | 00549 a2200193 4500 | ||
|---|---|---|---|
| 010 | _a 2009281331 | ||
| 020 | _a9780521899574 (hbk.) | ||
| 020 | _a0521899575 (hbk.) | ||
| 050 | 0 | 0 | _aQA76.9.L63 |
| 082 | 0 | 4 | _a006.333 |
| 090 |
_c30479 _d30479 |
||
| 100 | 1 | _aHarrison, John | |
| 546 | _aeng | ||
| 245 | 1 | 0 |
_aHandbook of practical logic and automated reasoning _cJohn Harrison |
| 260 |
_aCambridge _aNew York _bCambridge University Press _c2009 |
||
| 300 |
_axix, 681 p. _bill. _c26 cm |
||
| 650 | 0 | _aComputer logic | |
| 942 |
_cCART _k006.333 _sEP |
||
| 999 |
_c30129 _d30129 |
||