02131nam0 22004453i 450 VAN0027541620240806101542.538N978981164173220240424d2021 |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 cm001VAN001025742001 Springer proceedings in mathematics & statistics210 Berlin [etc.]Springer2012-36900B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF00B30Festschriften [MSC 2020]VANC022532MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03BxxGeneral logic [MSC 2020]VANC024425MF03ExxSet theory [MSC 2020]VANC019939MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFComputability theoryKW:KModel theoryKW:KPhilosophical LogicKW:KPhilosophy of mathematicsKW:KProof TheoryKW:KSet TheoryKW:KTheoretical computer scienceKW:KSGSingaporeVANL000061AraiToshiyasuVANV227889Springer <editore>VANV108073650ITSOL20241115RICAhttps://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-CE0120VAN08NVAN00275416BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 8478 08eMF8478 20240503 Advances in mathematical logic2597493UNICAMPANIA00817nam1 2200241 i 450 VAN0006396720251009092318.25120080416d1985 |0itac50 baengGB|||| |||||Alessandro AlgardiJennifer MontaguNew HavenLondonpublished in association with the J. Paul Getty Trust by Yale universityvolumi29 cm.001VAN000639682001 <<>>Alessandro Algardi 1001VAN000639692001 <<>>Alessandro Algardi 2USNew HavenVANL000040MontaguJenniferVANV019646153191Yale university <editore>VANV108028650ITSOL20251010RICAVAN00063967Alessandro Algardi470472UNICAMPANIA