000 00259nam a2200121Ia 4500
008 210310s9999 xx 000 0 und d
040 _crty
100 _aOpen University
245 0 _aLogic II proof
260 _aBletchley
300 _a1972
942 _cTU
999 _c225918
_d225918