000 00488cam a2200193 i 4500
005 20251228111944.0
008 990305s
022 _a133
040 _aP 30
041 0 _aeng
080 _a519.4
100 1 _aDiller J.
_9198573
245 1 0 _aProof Theory Symposium /
_cDiller J., Müller G.H.
260 _aBerlin :
_bSpringer,
_c1975.
300 _aVIII,383s.,bibliogr. ;
_c24cm.
500 _aISSN 133
700 1 _aMüller G.H.
_9198574
999 _c261
_d261