000 00315nam a2200133Ia 4500
008 150522s1992||||xx |||||||||||||| ||und||
020 _a1.98537e+008
082 _aABR
_b4
245 _aHandbook of logic in computer science
250 _a-
260 _aOxford
_b Calrendon Press
_c1992
300 _a-
942 _cC
999 _c31410
_d31410