02061nam0 2200445 i 450 VAN012437820230703015755.396N978331963334320191015d2017 |0itac50 baengCH|||| |||||Feferman on FoundationsLogic, Mathematics, PhilosophyGerhard Jäger, Wilfried Sieg editorsChamSpringer2017lxxx, 551 p.ill.24 cm001VAN01243802001 Outstanding Contributions to Logic210 Berlin [etc.]Springer13VAN0235591Feferman on Foundations156312203-XXMathematical logic and foundations [MSC 2020]VANC019750MF01A70Biographies, obituaries, personalia, bibliographies [MSC 2020]VANC019752MF00A30Philosophy of mathematics [MSC 2020]VANC020829MF01A60History of mathematics in the 20th century [MSC 2020]VANC021492MF00B15Collections of articles of miscellaneous specific interest [MSC 2020]VANC023985MFFoundations of category theoryKW:KGödel, Minds and MachinesKW:KModel theoryKW:KNew axioms and the continuum problemKW:KPredicativityKW:KSet TheoryKW:KCHChamVANL001889JägerGerhardVANV095820SiegWilfriedVANV039305Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-3-319-63334-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0124378BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0654 08eMF654 20191015 Feferman on Foundations1563122UNICAMPANIA