01427nam 2200385 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.RICAunimarc000015504Beweistheorie34430UNIBASMONSCISCIENZEEXT0020120030728BAS01170920050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011156BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT62616S626162003072851Riservati