01987nam0 22004213i 450 VAN0027486220240806101540.952N978303087296020240412d2021 |0itac50 baengCH|||| |||||Kurt GödelThe Princeton Lectures on IntuitionismMaria Hämeen-Anttila, Jan von Plato editorsChamSpringer2021ix, 133 p.ill.24 cm001VAN000511232001 Sources and studies in the history of mathematics and physical sciences210 Berlin [etc.]Springer01A60History of mathematics in the 20th century [MSC 2020]VANC021492MF01A75Collected or selected works; reprintings or translations of classics [MSC 2020]VANC021493MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03C10Quantifier elimination, model completeness and related topics [MSC 2020]VANC028773MFArbeitshefteKW:KAxiomatic intuitionistic logicKW:KConstructive reasoningKW:KDialectica paperKW:KHeyting arithmeticKW:KProperties of partial recursive functionsKW:KCHChamVANL001889Hämeen-AnttilaMariaVANV227311PlatoJan vonVANV227312Springer <editore>VANV108073650ITSOL20241115RICAhttps://doi.org/10.1007/978-3-030-87296-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00274862BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 8283 08eMF8283 20240430 KURT Godel375158UNICAMPANIA