000 00279nam a2200097Ia 4500
008 120224s9999 xx 000 0 und d
082 _a330.01519
_bRUZ
100 _aRuzsa, Imre
245 _aModel logic with descriptions
260 _bMartinus Nijhoff Publishers
_aLondon
_c1981
999 _c134864
_d134864