LEADER 01080nam0-2200373---450 001 990005687230203316 005 20210811212353.0 035 $a000568723 035 $aUSA01000568723 035 $a(ALEPH)000568723USA01 035 $a000568723 100 $a20060130d1973----|||y0itaa50------ba 101 $aita 102 $ait 105 $a0 00||| 200 1 $aParagrano$fParacelso$ga cura di Ferruccio Masini 210 $aRoma: Bari$cLaterza$d1973 215 $aXXVIII, 180 p.$d18 cm. 225 2 $aPiccola biblioteca filosofica Laterza$v83 410 0$12001$aPiccola biblioteca filosofica Laterza$v83 620 $dROMA 676 $a610.1 700 0$aPARACELSUS$0160727 702 1$aMASINI,$bFerruccio 801 0$aIT$bSA$c20111219 912 $a990005687230203316 950 0$aDipar.to di Filosofia - Salerno$dDFFDC PAR$e7779 FIL 951 $aXV.18.A. 1061 (FDC PAR)$b7779 FIL$cXV.18.A$d537315 959 $aBK 969 $aFDECI 979 $c20121027$lUSA01$h1526 979 $c20121027$lUSA01$h1615 996 $aParagrano$987573 997 $aUNISA LEADER 01444nam2 2200301 i 450 001 VAN0076512 005 20160421022420.626 010 $a88-7062-805-1 100 $a20100909d1993 |0itac50 ba 101 $aeng 102 $aIT 105 $a|||| ||||| 200 1 $aˆ3: ‰Coptic antiquities 2.$etextiles$fby László Torok 210 $aRoma$cL'erma di Bretschneider$d[1993] 215 $a91 p., [50] c. di tav.$cill.$d29 cm. 410 1$1001VAN0001072$12001 $aBibliotheca archaeologica$1210 $aRoma$cL'erma di Bretschneider.$v12 461 1$1001VAN0056890$12001 $aMonumenta antiquitatis extra fines Hungariae reperta quae in Museo artium Hungarico aliisque museis et collectionibus Hungaricis conservantur$fredigit J. Gy. Szilgyi$1210 $aRoma$cL'erma di Bretschneider$1215 $avol.$d29 cm.$v3 606 $aStoffe copte$xCollezioni$3VANC032265$2AR 620 $dRoma$3VANL000360 676 $a746.0962$v21 700 1$aTorok$bLászló$3VANV045089$0459566 712 $aL'erma di Bretschneider $3VANV108245$4650 801 $aIT$bSOL$c20240607$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE$1IT-CE0107$2VAN01 912 $aVAN0076512 950 $aBIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE$d01PREST IAb191 $e01 7059 20101020 996 $aCoptic antiquities 2$91436093 997 $aUNICAMPANIA LEADER 02253nam2 2200457 i 450 001 VAN00102494 005 20241121085710.79 017 70$2N$a9788847055384 100 $a20150908d2014 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆVol. 1: ‰Dimostrazioni e modelli al primo ordine$fVito Michele Abrusci, Lorenzo Tortora de Falco 210 $aMilano$cSpringer$d2014 215 $aIX, 190 p.$d24 cm 410 1$1001VAN00104561$12001 $aUnitext. La matematica per il 3+2$1210 $aMilano [etc.]$cSpringer$d1988-$v80 461 1$1001VAN00102493$12001 $aLogica$fVito Michele Abrusci, Lorenzo Tortora de Falco$1210 $aMilano$cSpringer$d2014-2018$1215 $avolumi$d24 cm$v1 500 1$3VAN00243855$aLogica. Vol. 1, Dimostrazioni e modelli al primo ordine$92983287 606 $a03B10$xClassical first-order logic [MSC 2020]$3VANC024530$2MF 606 $a03C07$xBasic properties of first-order languages and structures [MSC 2020]$3VANC024469$2MF 606 $a03F05$xCut-elimination and normal-form theorems [MSC 2020]$3VANC024532$2MF 610 $aFunzioni ricorsive$9KW:K 610 $aLogica del primo ordine$9KW:K 610 $aTeorema di eliminazione del taglio$9KW:K 610 $aTeoremi di incompletezza$9KW:K 610 $aTeoria assiomatica degli insiemi$9KW:K 620 $dMilano$3VANL000284 700 1$aAbrusci$bVito M.$3VANV075394$0730428 701 0$aTortora de Falco, Lorenzo$3VANV079398$0730427 712 $aSpringer $3VANV108073$4650 790 1$aAbrusci, Vito Michele$zAbrusci, Vito M.$3VANV078806 790 1$aAbrusci, V.M.$zAbrusci, Vito M.$3VANV233899 790 1$aAbrusci, V. M.$zAbrusci, Vito M.$3VANV233898 801 $aIT$bSOL$c20241122$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-88-470-5538-4$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 $aVAN00102494 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 482 $e15EB 482 20150908 996 $aLogica. Vol. 1, Dimostrazioni e modelli al primo ordine$92983287 997 $aUNICAMPANIA