LEADER 01007nam a2200241 i 4500
001 991000648919707536
005 20020507171743.0
008 970313m19951996it       m    ||| | ita  
035   $ab10737893-39ule_inst
035   $aLE01300157$9ExL
040   $aDip.to Matematica$beng
084   $aAMS 05C05
100 1 $aMinerva, Carmen Lucia$0534502
245 10$a"Alberi di confutazione e teorema di compattezza". Tesi di laurea /$claureanda Carmen Lucia Minerva ; relat. Ruggero Ferro
260   $aLecce :$bUniversità degli studi. Facoltà di Scienze. Corso di laurea in Matematica,$ca.a. 1995-96
650  0$aTrees
700 1 $aFerro, Ruggero
907   $a.b10737893$b14-10-15$c28-06-02
912   $a991000648919707536
945   $aLE013 TES 1995/96 MIN1$g1$i2013000081274$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10828345$z28-06-02
996   $a"Alberi di confutazione e teorema di compattezza". Tesi di laurea$9911052
997   $aUNISALENTO
998   $ale013$b01-01-97$cm$da  $e-$fita$git $h0$i1