LEADER 02121nam0 22004453i 450 001 VAN0275416 005 20240619025650.801 017 70$2N$a9789811641732 100 $a20240424d2021 |0itac50 ba 101 $aeng 102 $aSG 105 $a|||| ||||| 200 1 $aAdvances in Mathematical Logic$eDedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions$fToshiyasu Arai ... [et al.] editors 210 $aSingapore$cSpringer$d2021 215 $axi, 229 p.$cill.$d24 cm 410 1$1001VAN0102574$12001 $aSpringer proceedings in mathematics & statistics$1210 $aBerlin [etc.]$cSpringer$v369 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Exx$xSet theory [MSC 2020]$3VANC019939$2MF 606 $a00B25$xProceedings of conferences of miscellaneous specific interest [MSC 2020]$3VANC020732$2MF 606 $a00B30$xFestschriften [MSC 2020]$3VANC022532$2MF 606 $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF 606 $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF 610 $aComputability theory$9KW:K 610 $aModel theory$9KW:K 610 $aPhilosophical Logic$9KW:K 610 $aPhilosophy of mathematics$9KW:K 610 $aProof Theory$9KW:K 610 $aSet Theory$9KW:K 610 $aTheoretical computer science$9KW:K 620 $aSG$dSingapore$3VANL000061 702 1$aArai$bToshiyasu$3VANV227889 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240621$gRICA 856 4 $uhttps://doi.org/10.1007/978-981-16-4173-2$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0275416 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-Book 8478 $e08eMF8478 20240503 996 $aAdvances in mathematical logic$92597493 997 $aUNICAMPANIA