000 00346nam a2200145Ia 4500
005 20250516203205.0
008 250516s9999 xx 000 0 und d
020 _a817634533
041 _aeng
082 _a511.3
_bS
100 _aSchoning, Uwe
245 _aLogic For Computer Scientists
260 _aBoston
_bBrkhuser
_c1989
300 _a166 p.
999 _c68462
_d68462