01786nam0 22004213i 450 VAN0025479520240806101441.744N978354036130520230216d1969 |0itac50 baengDE|||| |||||Principles of IntuitionismLectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NYA. S. TroelstraBerlinSpringer1969111 p.ill.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer9500B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFArithmeticKW:KIntuitionismKW:KMathematicsKW:KOrdinalsKW:KProof TheoryKW:KProofsKW:KTheoremKW:KTopologyKW:KWell-ordering principlesKW:KBerlinVANL000066TroelstraAnne S.VANV2077571276617Springer <editore>VANV108073650ITSOL20250613RICAhttps://doi.org/10.1007/BFb0080643E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00254795BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 5430 08eMF5430 20230301 Principles of Intuitionism3008270UNICAMPANIA