000 00290nam a2200109Ia 4500
008 220119s9999 xx 000 0 und d
040 _cJayakar Knowledge Resource Centre
100 _aDiller, J.
245 0 _aproof theory symposion
260 _bSpringer Verlag
_aBerlin
_c1975
942 _c1
999 _c365839
_d365839