000 00239nam a2200097Ia 4500
001 28960
008 170722s9999 xx 000 0 und d
245 _aTable of Symbols for proof connection Extracted from /
260 _c1958.
942 _cGEN
999 _c50468
_d50468