LEADER 01212nam1 2200289 i 450 
001 VAN0102493
005 20220207100256.953
100   $a20150908g20142018   |0itac50      ba
101   $aita
102   $aIT
105   $a||||    |||||
200 1 $aLogica$fVito Michele Abrusci, Lorenzo Tortora de Falco
210   $aMilano$cSpringer$d2014-2018
215   $avolumi$d24 cm
463  1$1001VAN0102494$12001 $aˆVol. 1: ‰Dimostrazioni e modelli al primo ordine$fVito Michele Abrusci, Lorenzo Tortora de Falco$1210  $aMilano$cSpringer$d2014$1215  $aIX, 190 p.$d24 cm$v1
463  1$1001VAN0125092$12001 $aˆVol. 2: ‰Incompletezza, teoria assiomatica degli insiemi$fVito Michele Abrusci, Lorenzo Tortora de Falco$1210  $aMilano$cSpringer$d2018$1215  $axiii, 439 p.$d24 cm$v2
500  1$3VAN0239409$aLogica$91407771
620   $dMilano$3VANL000284
700  1$aAbrusci$bVito M.$3VANV075394$0730428
701  0$aTortora de Falco, Lorenzo$3VANV079398$0730427
712   $aSpringer <editore>$3VANV108073$4650
790  1$aAbrusci, Vito Michele$zAbrusci, Vito M.$3VANV078806
801   $aIT$bSOL$c20240614$gRICA
912   $fN
912   $aVAN0102493
996   $aLogica$91407771
997   $aUNICAMPANIA