00915nam0-22003251i-450-9900010584104033213-540-07911-4000105841FED01000105841(Aleph)000105841FED0100010584120000920d1977----km-y0itay50------baengProof TheoryKurt Schuttetranslation from the German by J.N. CrossleyBerlin [etc.]Springer-Verlag1977xii, 299 p.25 cm<<Die >>Grundlehren der mathematischen Wissenschaften225LogicaRicorsività160Schütte,Kurt346092Crossley,John NewsomeITUNINARICAUNIMARCBK9900010584104033217-20410782FI1FI1Beweistheorie34430UNINAING01