00974nam 2200265 450 00001550420050718115600.03-540-07911-420030728d1977----km-y0itay0103----baengDEProof theoryKurt Schuttetranslation from the German by J. N. CrossleyBerlin [etc.]Springer1977XII, 302 p.25 cm.Grundlehren der mathematischen Wissenschaften2252001Grundlehren der mathematischen WissenschaftenTeoria della dimostrazione511.3(21. ed.)Logica matematica (Logica simbolica)03F03Mathematical logic and foundations. Proof theory and constructive mathematics. Proof theory, generalSchutte,Kurt346092Crossley,J. N.ITUniversità della Basilicata - B.I.A.RICAunimarc000015504Beweistheorie34430UNIBAS