00757nam0-22002651i-450-990001194220403321000119422FED01000119422(Aleph)000119422FED0100011942220000920d1977----km-y0itay50------baengProof Theoryby SCUTTE K.Berlin [etc.]Springer-Verlag1977<<Die >>Grundlehren der mathematischen Wissenschaften255Translation from the German by J.N. Crossle y.Schutte,Karl56227ITUNINARICAUNIMARCBK990001194220403321C-28-(22519163MA1MA1Proof Theory341394UNINAING01