01783nam0 22004213i 450 VAN025479520230523020858.456N978354036130520230216d1969 |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 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer9503-XXMathematical logic and foundations [MSC 2020]VANC019750MF00B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MFArithmeticKW:KIntuitionismKW:KMathematicsKW:KOrdinalsKW:KProof TheoryKW:KProofsKW:KTheoremKW:KTopologyKW:KWell-ordering principlesKW:KBerlinVANL000066TroelstraAnne S.VANV2077571276617Springer <editore>VANV108073650ITSOL20240614RICAhttps://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-CE0120VAN08NVAN0254795BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5430 08eMF5430 20230301 Principles of Intuitionism3008270UNICAMPANIA