| 000 | 00470nam a2200169Ia 4500 | ||
|---|---|---|---|
| 003 | LDD | ||
| 008 | 181029s9999 xx 000 0 und d | ||
| 020 | _a632013087 | ||
| 040 | _cLDD | ||
| 100 | _aDowsing, R.D | ||
| 245 | 0 |
_aAfirst course in formal logic and its applications in computer science _cR.D Dowsing |
|
| 260 |
_aOxford _bBackwell Scientific _c1986 |
||
| 300 | _avi, 265p | ||
| 440 | _aComputer science texts | ||
| 901 |
_a3112 _b17-03-2005 |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c24727 _d24727 |
||