@Book{            dev,
  Author        = "of Philosophy, Stanford Encyclopedia",
  date-added    = "2020-06-22 23:06:04 +0200",
  date-modified = "2020-06-22 23:06:15 +0200",
  Title         = "The Development of Intuitionistic Logic",
  File          = "The Development of Intuitionistic Logic (Stanford Encyclopedia of Philosophy) - a - l.pdf"
}

@Book{ dev, Author = "of Philosophy, Stanford Encyclopedia", date-added = "2020-06-22 23:06:04 +0200", date-modified = "2020-06-22 23:06:15 +0200", Title = "The Development of Intuitionistic Logic", File = "The Development of Intuitionistic Logic (Stanford Encyclopedia of Philosophy) - a - l.pdf" }