000 00348nam a2200157Ia 4500
008 190201s9999 xx 000 0 und d
020 _a0-06-042225-4
082 _a511
082 _b3 GAL
100 _a"Gallier, Jean H."
245 0 _aLogic For Computer Scien
260 _aNew York
260 _bHRP
260 _c1986
300 _a"xv, 511"
999 _c30442
_d30442