LEADER 00919nam2-2200349---450- 001 990002796600203316 005 20060804101300.0 010 $a88-14-04143-1 035 $a000279660 035 $aUSA01000279660 035 $a(ALEPH)000279660USA01 035 $a000279660 100 $a20060804d1962----km-y0itay50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<<11>> : Cosa-Delib 210 $aMilano$cGiuffrè$d1962 215 $aXVII, 1015 p.$d26 cm 410 0$12001 454 1$12001 461 1$1001000279644$12001$aEnciclopedia del diritto 606 0 $aDiritto$xEnciclopedie e dizionari 676 $a349.4503 801 0$aIT$bsalbc$gISBD 912 $a990002796600203316 951 $aSANT.10 ENC 1 11$b1406 DDPG$cSANT.10 ENC 959 $aBK 969 $aDDPG 979 $aDDPG1$b90$c20060804$lUSA01$h1013 996 $aCosa-Delib$9995900 997 $aUNISA LEADER 01351nam0 22003493i 450 001 VAN0243869 005 20240514111855.754 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$1001VAN0045576$12001 $aUnitext$1210 $aMilano [etc.]$cSpringer$v50 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 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0243869 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS 03-XX 2940 $e08 9083 I 20110704 996 $aLogica: metodo breve$92983391 997 $aUNICAMPANIA