• logica-per-informatica
  • lucidi
  • 113-teoria-dei-gruppi.pdf