000 00311nam a2200133Ia 4500
005 20250626142218.0
008 241013s9999 xx 000 0 und d
020 _a9780521670890
100 _aHuth, Michael.
245 0 _aLogic in Computer Science
260 _bClassics
_c2021
300 _a536p.,
942 _cBK
999 _c5990
_d5990