@Book{            constr,
  Author        = "of Philosophy, Stanford Encyclopedia",
  date-added    = "2020-06-22 23:07:05 +0200",
  date-modified = "2020-06-22 23:07:14 +0200",
  Title         = "Constructive Mathematics",
  File          = "Constructive Mathematics (Stanford Encyclopedia of Philosophy) - a - v.pdf"
}

@Book{ constr, Author = "of Philosophy, Stanford Encyclopedia", date-added = "2020-06-22 23:07:05 +0200", date-modified = "2020-06-22 23:07:14 +0200", Title = "Constructive Mathematics", File = "Constructive Mathematics (Stanford Encyclopedia of Philosophy) - a - v.pdf" }