LEADER 01504nam0 2200373 i 450 001 VAN0084613 005 20220328103324.997 017 70$2N$a978-88-470-1884-6 100 $a20110704d2011 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aLogica: metodo breve$fDaniele Mundici 210 $aMilano$cSpringer$d2011 215 $aXI, 126 p.$d24 cm 410 1$1001VAN0104561$12001 $aUnitext. La matematica per il 3+2$1210 $aMilano [etc.]$cSpringer$v1 500 1$3VAN0243860$aLogica: metodo breve$92983391 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 610 $aCompattezza e modelli nonstandard$9KW:K 610 $aDeduzione Automatica$9KW:K 610 $aLogica Matematica$9KW:K 610 $aSemantica di Tarski$9KW:K 610 $aTeorema di Completezza di Gödel$9KW:K 620 $dMilano$3VANL000284 700 1$aMundici$bDaniele$3VANV069606$062698 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/978-88-470-1884-6$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 $aVAN0084613 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 123 $e15EB 123 20150430 996 $aLogica: metodo breve$92983391 997 $aUNICAMPANIA