000 00315nam a2200133Ia 4500
005 20251003125619.0
008 251003s9999 xx 000 0 und d
082 _a510
100 _aBen Ari
245 0 _aMathematical Logic For Computer Science
260 _bSpringer
_aBerlin
_c2005
300 _a305
942 _cBK
999 _c36115
_d36115