01569nam0 22003733i 450 VAN026595020231221052100.729N978354046825720231102d1989 |0itac50 baengDE|||| |||||Proof TheoryAn IntroductionWolfram PohlersBerlinSpringer1989viii, 220 p.ill.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer140703-XXMathematical logic and foundations [MSC 2020]VANC019750MF03F05Cut-elimination and normal-form theorems [MSC 2020]VANC024532MF03F15Recursive ordinals and ordinal notations [MSC 2020]VANC033571MFCalculusKW:KNumber theoryKW:KProof TheoryKW:KProofsKW:KBerlinVANL000066PohlersWolframVANV07024256702Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-3-540-46825-7E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0265950BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 7063 08eMF7063 20231106 Proof theory81534UNICAMPANIA