000 00288nam a2200109Ia 4500
005 20231212095746.0
008 231211s9999 xx 000 0 und d
020 _a978-1-447-17361-3
040 _aCU Online
_cAACR-II/RDA
100 _aAri
245 0 _aMathematical logic for computer science
999 _c482599
_d482599