@Unpublished{     baelde,
  Author        = "Baelde, David",
  date-added    = "2020-09-14 10:20:44 +0200",
  date-modified = "2020-09-14 10:20:54 +0200",
  Title         = "Intuitionistic Propositional Logic",
  File          = "Intuitionistic Propositional Logic - nj0 - a - h.pdf"
}

@Unpublished{ baelde, Author = "Baelde, David", date-added = "2020-09-14 10:20:44 +0200", date-modified = "2020-09-14 10:20:54 +0200", Title = "Intuitionistic Propositional Logic", File = "Intuitionistic Propositional Logic - nj0 - a - h.pdf" }