• logica-per-informatica
  • lucidi
  • 06-semantica-logicaproposizionale.pdf