LEADER 01307nam2 22002773i 450 001 VAN0094869 005 20230308115125.656 100 $a20130903d1963 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆ5.1: Le ‰servitù prediali$fdi Giuseppe Grosso e Giommaria Deiana 210 $aTorino$cUTET$d1963 215 $aXII, 843 p.$d25 cm 316 $aBiblioteca Lauria$5IT-IT-CE0105 CONSBL.900M.31(5.1) 461 1$1001VAN0004809$12001 $aTrattato di diritto civile italiano$fredatto da diversi giureconsulti sotto la direzione di Filippo Vassalli$1210 $aTorino$cUnione tipografica editrice torinese$1215 $avol.$d25 cm.$v5.1 620 $dTorino$3VANL000001 700 1$aGrosso$bGiuseppe$3VANV006228$03354 701 1$aDeiana$bGiommaria$3VANV035284$0238179 712 $aUTET $3VANV107949$4650 801 $aIT$bSOL$c20240614$gRICA 912 $aVAN0094869 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS BL.900M.31 (5.1) $e00BL 3350 20141103 Biblioteca Lauria 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS FTA.112 (5.1) $e00FTN8019 20130903 996 $aServitù prediali$9112498 997 $aUNICAMPANIA LEADER 02068nam0 2200445 i 450 001 VAN0104358 005 20220224125428.775 017 70$2N$a978-94-007-7548-0 100 $a20151221d2014 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 200 1 $aAdvances in natural deduction$ea celebration of Dag Prawitz's work$fLuiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva editors 210 $aDordrecht$cSpringer$d2014 215 $aXVI, 279 p.$cill.$d24 cm 410 1$1001VAN0103150$12001 $aTrends in logic$estudia logica library$1210 $aBerlin [etc.]$cSpringer$v39 500 1$3VAN0241478$aAdvances in natural deduction$91410010 606 $a03F03$xProof theory, general (including proof-theoretic semantics) [MSC 2020]$3VANC023705$2MF 606 $a03A05$xPhilosophical and critical aspects of logic and foundations [MSC 2020]$3VANC024501$2MF 606 $a03F05$xCut-elimination and normal-form theorems [MSC 2020]$3VANC024532$2MF 606 $a03F07$xStructure of proofs [MSC 2020]$3VANC031517$2MF 610 $aCut-Elimination$9KW:K 610 $aGentzen systems$9KW:K 610 $aNatural Deduction and Sequent Calculus$9KW:K 610 $aNormalization Theorem$9KW:K 610 $aProof Theory$9KW:K 610 $aProof-Theoretic Semantics$9KW:K 620 $aNL$dDordrecht$3VANL000068 702 1$ade Paiva$bValeria$3VANV081399 702 1$aHaeusler$bEdward Hermann$3VANV081398 702 1$aPereira$bLuiz Carlos$3VANV081397 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-94-007-7548-0$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 $aVAN0104358 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 4329 $e15EB 4329 20191106 996 $aAdvances in natural deduction$91410010 997 $aUNICAMPANIA LEADER 01765nam0 2200361 i 450 001 VAN0126698 005 20220309104405.125 017 70$2N$a9783030294397 100 $a20200213d2019 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aStructural and Biochemical Characterization of the YaxAB Pore-forming Toxin from Yersinia Enterocolitica$fBastian Bräuning 210 $aCham$cSpringer$d2019 215 $aXXXI, 86 p.$cill.$d24 cm 410 1$1001VAN0104193$12001 $aSpringer theses$erecognizing outstanding Ph.D. research$1210 $aBerlin$cSpringer$d2010- 620 $aCH$dCham$3VANL001889 676 $a579.3$cBiologia dei microrganismi. Procarioti. Batteri$v22 676 $a572.6$cProteine$v22 676 $a660.63$cBiochimica industriale. Ingegneria biochimica$v22 676 $a540$cChimica generale$v22 676 $a543$cChimica analitica$v22 676 $a579$cMicrobiologia$v22 700 1$aBräuning$bBastian$3VANV098084$0780977 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://link.springer.com/book/10.1007/978-3-030-29439-7$zE-book - Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE$1IT-CE0101$2VAN17 912 $fN 912 $aVAN0126698 950 $aBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE$d17CONS e-book 2113 $e17BIB2113/272 272 20200213 996 $aStructural and Biochemical Characterization of the YaxAB Pore-forming Toxin from Yersinia Enterocolitica$91668134 997 $aUNICAMPANIA