000 00308nam a2200145Ia 4500
008 190201s9999 xx 000 0 und d
082 _a1
082 _b6424 S
100 _a"Cohen, Jaques"
245 0 _a1985 Symposium On Logic
260 _aNew York
260 _bIEEE
260 _c1985
300 _a269
999 _c25088
_d25088