01983nam0 22004213i 450 VAN027486220240524022042.95N978303087296020240412d2021 |0itac50 baengCH|||| |||||Kurt GödelThe Princeton Lectures on IntuitionismMaria Hämeen-Anttila, Jan von Plato editorsChamSpringer2021ix, 133 p.ill.24 cm001VAN00511232001 Sources and studies in the history of mathematics and physical sciences210 Berlin [etc.]Springer03-XXMathematical logic and foundations [MSC 2020]VANC019750MF01A60History of mathematics in the 20th century [MSC 2020]VANC021492MF01A75Collected or selected works; reprintings or translations of classics [MSC 2020]VANC021493MF03C10Quantifier 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>VANV108073650ITSOL20240614RICAhttps://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-CE0120VAN08NVAN0274862BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 8283 08eMF8283 20240430 KURT Godel375158UNICAMPANIA