01913nam0 2200445 i 450 VAN010394920220222085936.315N978-3-319-09719-020151201d2014 |0itac50 baengCH|||| |||||ˆThe ‰life and work of Leon Henkinessays on his contributionsMaría Manzano, Ildikó Sain, Enrique Alonso editorsCham BirkhäuserSpringer2014XXII, 351 p.ill.24 cm001VAN01039512001 Studies in Universal Logic210 Basel [etc.]BirkhäuserVAN0241079ˆThe ‰life and work of Leon Henkin140990703-XXMathematical logic and foundations [MSC 2020]VANC019750MF01AxxHistory of mathematics and mathematicians [MSC 2020]VANC019751MFAlgebraic LogicKW:KCompleteness theoremsKW:KCylindric algebrasKW:KMathematical educationKW:KModel theoryKW:KPhilosophical and foundation studiesKW:KType theoryKW:KCHChamVANL001889AlonsoEnriqueVANV081034ManzanoMariaVANV041569SainIldikóVANV081033Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20240614RICAhttp://dx.doi.org/10.1007/978-3-319-09719-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN0103949BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 4507 15EB 4507 20191106 Life and work of Leon Henkin1409907UNICAMPANIA