LEADER 01450nam0 22003613i 450 001 VAN00243869 005 20241216023037.780 010 $a978-88-470-1883-9 100 $a20220328d2011 |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$1001VAN00045576$12001 $aUnitext$1210 $aMilano [etc.]$cSpringer$d1985-$v50 500 1$3VAN00243860$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$c20241220$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/ID 243869.pdf$zID 243869.pdf 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN00243869 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS 03-XX 2940 $e08 9083 I 20110704 996 $aLogica: metodo breve$92983391 997 $aUNICAMPANIA