01007nam a2200241 i 450099100064891970753620020507171743.0970313m19951996it m ||| | ita b10737893-39ule_instLE01300157ExLDip.to MatematicaengAMS 05C05Minerva, Carmen Lucia534502"Alberi di confutazione e teorema di compattezza". Tesi di laurea /laureanda Carmen Lucia Minerva ; relat. Ruggero FerroLecce :Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica,a.a. 1995-96TreesFerro, Ruggero.b1073789314-10-1528-06-02991000648919707536LE013 TES 1995/96 MIN112013000081274le013-E0.00-l- 00000.i1082834528-06-02"Alberi di confutazione e teorema di compattezza". Tesi di laurea911052UNISALENTOle01301-01-97ma -itait 01