Algebra universale e logica in computer science