LEADER 01657nam2 2200361 i 450 
001 SUN0102494
005 20191030112808.77
010   $d0.00
017 70$2N$a978-88-470-5538-4
100   $a20150908d2014       |0itac50      ba
101   $aita
102   $aIT
105   $a||||    |||||
200 1 $a1: *Dimostrazioni e modelli al primo ordine$fVito Michele Abrusci, Lorenzo Tortora de Falco
205   $aMilano : Springer, 2014
210   $aIX$d190 p. ; 24 cm
215   $aPubblicazione in formato elettronico
410  1$1001SUN0104561$12001 $a*Unitext$hLa matematica per il 3+2$v80$1210  $aMilano$cSpringer.
461  1$1001SUN0102493$12001 $a*Logica$fVito Michele Abrusci, Lorenzo Tortora de Falco$v1$1210  $aMilano$cSpringer$d2014-2018$1215  $avolumi$d24 cm.
606   $a03C07$xBasic properties of first-order languages and structures [MSC 2020]$2MF$3SUNC024469
606   $a03B10$xClassical first-order logic [MSC 2020]$2MF$3SUNC024530
606   $a03F05$xCut-elimination and normal-form theorems [MSC 2020]$2MF$3SUNC024532
620   $dMilano$3SUNL000284
700  1$aAbrusci$b, Vito M.$3SUNV075394$0730428
701  0$aTortora de Falco, Lorenzo$3SUNV079398$0730427
712   $aSpringer$3SUNV000178$4650
790  1$aAbrusci, Vito Michele$zAbrusci, Vito M.$3SUNV078806
801   $aIT$bSOL$c20200921$gRICA
856 4 $uhttp://dx.doi.org/10.1007/978-88-470-5538-4
912   $aSUN0102494
950   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS      SBA EBOOK 482                       $e15EB 482               20150908            
996   $aDimostrazioni e modelli al primo ordine$91433478
997   $aUNICAMPANIA