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