matematica TecaLibri Vincenzo Manca: opere 2001 Logica Matematica, Bollati Boringhieri, [rif.] 2003 Metodi informazionali