@online{huang2024algebra,
  author       = {Huang, Xuanqiang Angelo},
  title        = {Algebra Logica},
  date         = {2024-04-08},
  organization = {Xuanqiang Angelo Huang's Blog},
  url          = {https://flecart.github.io/notes/algebra-logica/},
  langid       = {italian},
  abstract     = {Strutture algebriche \# Differenza matematica e informatica \# Una osservazione per quanto riguarda la logica intuizionista è che sta a metà fra matematica e informatica perché la dimostrazione intuizionista possiede in sé un algoritmo e una struttura di dati. Infatti di solito l'i}
}