01774nam0 22004213i 450 VAN025536520230524105041.647N978354036875520230227d1971 |0itac50 baengDE|||| |||||Proof Theory and Intuitionistic SystemsBruno ScarpelliniBerlinSpringer1971vii, 290 p.ill.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer21203-XXMathematical logic and foundations [MSC 2020]VANC019750MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MF03F55Intuitionistic mathematics [MSC 2020]VANC033863MF03B55Intermediate logics [MSC 2020]VANC037369MFCalculusKW:KFiniteKW:KFunctionsKW:KProof TheoryKW:KProofsKW:KTransfinite inductionKW:KWell-ordering principlesKW:KBerlinVANL000066ScarpelliniBrunoVANV20837950397Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0068783E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0255365BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5567 08eMF5567 20230307 Proof theory and intuitionistic systems81444UNICAMPANIA