02121nam0 22004453i 450 VAN027541620240619025650.801N978981164173220240424d2021 |0itac50 baengSG|||| |||||Advances in Mathematical LogicDedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised ContributionsToshiyasu Arai ... [et al.] editorsSingaporeSpringer2021xi, 229 p.ill.24 cm001VAN01025742001 Springer proceedings in mathematics & statistics210 Berlin [etc.]Springer36903-XXMathematical logic and foundations [MSC 2020]VANC019750MF03ExxSet theory [MSC 2020]VANC019939MF00B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF00B30Festschriften [MSC 2020]VANC022532MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MF03BxxGeneral logic [MSC 2020]VANC024425MFComputability theoryKW:KModel theoryKW:KPhilosophical LogicKW:KPhilosophy of mathematicsKW:KProof TheoryKW:KSet TheoryKW:KTheoretical computer scienceKW:KSGSingaporeVANL000061AraiToshiyasuVANV227889Springer <editore>VANV108073650ITSOL20240621RICAhttps://doi.org/10.1007/978-981-16-4173-2E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0275416BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-Book 8478 08eMF8478 20240503 Advances in mathematical logic2597493UNICAMPANIA