000 00340nam a2200145Ia 4500
008 211109s9999||||xx |||||||||||||| ||und||
082 _a511.3
_bSHU-P
100 _aK, Shutte
245 0 _aProof Theory
260 _bSpringer-Verlag
_aNew York
_c1977
300 _a302p
630 _xGeneral Stack
650 _vMathematics
942 _cBOOK
999 _c76610
_d76610