000 | 00465nam a2200169Ia 4500 | ||
---|---|---|---|
001 | aQ3866 | ||
008 | 220802s9999 xx 000 0 und d | ||
020 | _a0-7167-8201-4 | ||
100 | _a Davis ,Ruth E. | ||
245 | 0 | _aTruth, Deduction and Computation: logic and semiantics for computer science | |
250 | _a.NA | ||
260 | _c1989 | ||
300 | _axv,265 | ||
600 | _aComputer Science | ||
650 | _aComputer science, information & general works | ||
942 |
_bBooks _cBK |
||
999 |
_c5592 _d5592 |