@online{huang2024semantica,
  author       = {Huang, Xuanqiang Angelo},
  title        = {Semantica intuizionista},
  date         = {2024-04-08},
  organization = {Xuanqiang Angelo Huang's Blog},
  url          = {https://flecart.github.io/notes/semantica-intuizionista/},
  langid       = {italian},
  abstract     = {Molto importante questo documento per avere chiara la differenza fra la logica intuizionista e la Logica Proposizionale classica. Questa logica intuizionista non si preoccupa del noumeno platonico, ma solo di una prova reale. Introduzione: wikipedia 9 11 Scopi di intuizionista (3}
}