01155nam a2200277 i 4500991001921319707536121213s2012 it a b 001 0 ita db14092207-39ule_instDip.to Matematica e FisicaengAMS 03B53AMS 03G25AMS 06A06AMS 06B05Ruzittu, Laura471480Sistemi relazionali e algebre per la logica. Tesi di laurea /laureanda Laura Ruzittu ; relatrice Maria Maddalena Miccoli ; correlatore Cosimo GuidoLecce :Università del Salento. Facoltà di Scienze MM. FF. NN. Corso di Laurea Specialistica in Matematica,a.a. 2011-12147 p. ;30 cmAlgebraic logicMiccoli, Maria MaddalenaGuido, Cosimo.b1409220702-04-1413-12-12991001921319707536LE013 TES 2011/12 RUZ112013000218564le013gE15.00-no 10000.i1546999214-12-12Sistemi relazionali e algebre per la logica. Tesi di laurea241453UNISALENTOle01313-12-12ma -itait 00