@TechReport{      ILmodels,
  Author        = "Dang, Hai",
  date-added    = "2020-10-16 17:20:54 +0200",
  date-modified = "2020-10-16 17:21:15 +0200",
  Title         = "Models for Intuitionistic Propositional Logic",
  File          = "Dang - Models for Intuitionistic Propositional Logic - imodel - a - d.pdf"
}

@TechReport{ ILmodels, Author = "Dang, Hai", date-added = "2020-10-16 17:20:54 +0200", date-modified = "2020-10-16 17:21:15 +0200", Title = "Models for Intuitionistic Propositional Logic", File = "Dang - Models for Intuitionistic Propositional Logic - imodel - a - d.pdf" }