LEADER 01913nam0 2200445 i 450 001 VAN0103949 005 20220222085936.315 017 70$2N$a978-3-319-09719-0 100 $a20151201d2014 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aˆThe ‰life and work of Leon Henkin$eessays on his contributions$fMaría Manzano, Ildikó Sain, Enrique Alonso editors 210 $aCham$c Birkhäuser$cSpringer$d2014 215 $aXXII, 351 p.$cill.$d24 cm 410 1$1001VAN0103951$12001 $aStudies in Universal Logic$1210 $aBasel [etc.]$cBirkhäuser 500 1$3VAN0241079$aˆThe ‰life and work of Leon Henkin$91409907 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a01Axx$xHistory of mathematics and mathematicians [MSC 2020]$3VANC019751$2MF 610 $aAlgebraic Logic$9KW:K 610 $aCompleteness theorems$9KW:K 610 $aCylindric algebras$9KW:K 610 $aMathematical education$9KW:K 610 $aModel theory$9KW:K 610 $aPhilosophical and foundation studies$9KW:K 610 $aType theory$9KW:K 620 $aCH$dCham$3VANL001889 702 1$aAlonso$bEnrique$3VANV081034 702 1$aManzano$bMaria$3VANV041569 702 1$aSain$bIldikó$3VANV081033 712 $aBirkhäuser $3VANV108193$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-3-319-09719-0$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15 912 $fN 912 $aVAN0103949 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 4507 $e15EB 4507 20191106 996 $aLife and work of Leon Henkin$91409907 997 $aUNICAMPANIA