@Article{         macarty,
  Author        = "McCarty, D. C.",
  date-added    = "2020-09-14 10:22:08 +0200",
  date-modified = "2020-09-14 10:22:48 +0200",
  Journal       = "Notre Dame Journal of Formal Logic",
  Number        = "4",
  Title         = "Intuitionistic Completeness and Classical Logic",
  Volume        = "43",
  Year          = "2002",
  File          = "Intuitionistic Completeness and Classical Logic - euclid.ndjfl.1074396309 - a - v.pdf"
}

@Article{ macarty, Author = "McCarty, D. C.", date-added = "2020-09-14 10:22:08 +0200", date-modified = "2020-09-14 10:22:48 +0200", Journal = "Notre Dame Journal of Formal Logic", Number = "4", Title = "Intuitionistic Completeness and Classical Logic", Volume = "43", Year = "2002", File = "Intuitionistic Completeness and Classical Logic - euclid.ndjfl.1074396309 - a - v.pdf" }