Elementi di algebra e logica