• logica-per-informatica
  • prove
  • scritto-2011-09-05-testo-teoria.pdf