000 00372nam a2200169Ia 4500
008 190201s9999 xx 000 0 und d
020 _a9.78E+12
082 _a4
082 _bHUT
100 _a"Huth, Michael"
245 0 _aLogic In Computer Scienc
250 _aSecond
260 _aU.K
260 _bCambridge University
260 _c2004
300 _a"xiv, 427"
999 _c47364
_d47364