01865nam0 22004453i 450 VAN026048320230922020310.654N978364266473120230629d1977 |0itac50 baengDE|||| |||||Proof TheoryKurt SchütteTranslation from the German by J. N. CrossleyBerlinSpringer1977xii, 302 p.24 cm001VAN00241072001 Grundlehren der mathematischen WissenschaftenA series of comprehensive texts in mathematics210 Berlin [etc.]Springer225VAN0260484Beweistheorie3443003-XXMathematical logic and foundations [MSC 2020]VANC019750MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFCalculationKW:KFiniteKW:KFunctionsKW:KOrdinalsKW:KPredicate logicKW:KProof TheoryKW:KProofsKW:KType theoryKW:KBerlinVANL000066SchütteKurtVANV214613346092CrossleyJohn N.VANV043240730Springer <editore>VANV108073650Crossley, John NewsomeCrossley, John N.VANV209668ITSOL20240614RICAhttps://doi.org/10.1007/978-3-642-66473-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0260483BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6064 08eMF6064 20230710 Beweistheorie34430UNICAMPANIA