@Book{            intuitioo,
  Author        = "of Philosophy, Stanford Encyclopedia",
  date-added    = "2020-06-22 23:06:38 +0200",
  date-modified = "2020-06-22 23:06:49 +0200",
  Title         = "Intuitionistic Logic",
  File          = "Intuitionistic Logic (Stanford Encyclopedia of Philosophy) - a - g.pdf"
}

@Book{ intuitioo, Author = "of Philosophy, Stanford Encyclopedia", date-added = "2020-06-22 23:06:38 +0200", date-modified = "2020-06-22 23:06:49 +0200", Title = "Intuitionistic Logic", File = "Intuitionistic Logic (Stanford Encyclopedia of Philosophy) - a - g.pdf" }