02065nam0 2200445 i 450 VAN0012437820240806100816.217N978331963334320191015d2017 |0itac50 baengCH|||| |||||Feferman on FoundationsLogic, Mathematics, PhilosophyGerhard Jäger, Wilfried Sieg editorsChamSpringer2017lxxx, 551 p.ill.24 cm001VAN001243802001 Outstanding Contributions to Logic210 Berlin [etc.]Springer13VAN00235591Feferman on Foundations156312200A30Philosophy of mathematics [MSC 2020]VANC020829MF00B15Collections of articles of miscellaneous specific interest [MSC 2020]VANC023985MF01A60History of mathematics in the 20th century [MSC 2020]VANC021492MF01A70Biographies, obituaries, personalia, bibliographies [MSC 2020]VANC019752MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFFoundations of category theoryKW:KGödel, Minds and MachinesKW:KModel theoryKW:KNew axioms and the continuum problemKW:KPredicativityKW:KSet TheoryKW:KCHChamVANL001889JägerGerhardVANV095820SiegWilfriedVANV039305Springer <editore>VANV108073650ITSOL20241115RICAhttp://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-CE0120VAN08NVAN00124378BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 0654 08eMF654 20191015 Feferman on Foundations1563122UNICAMPANIA