000 00275nam a2200109Ia 4500
008 230302s9999 xx 000 0 und d
082 _a005115HAR
100 _aHAREL(DAVID) KOZEN (DEXTER)GERZY TIURYN
245 _aDynamic Logic
260 _aN.DELHI
_b PHI
365 _cRS
999 _c152217
_d152217