| 000 | 00389nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 230724s9999 xx 000 0 und d | ||
| 020 |
_a9780521395601 _qpbk |
||
| 082 |
_a511.3 _bPAU |
||
| 100 | _aPaulson, Lawrence C. | ||
| 245 | 0 |
_aLogic And Computation / _cLawrence C. Paulson |
|
| 250 | _a1st edition | ||
| 260 |
_bCambridge , _c1990 |
||
| 300 | _a320.00 | ||
| 650 | _aComputer Science | ||
| 999 |
_c166929 _d166929 |
||