@InCollection{    Prawitz921380,
  Author        = "Prawitz, Dag",
  BookTitle     = "Why is this a Proof? : Festschrift for Luiz Carlos Pereira",
  date-added    = "2020-06-01 15:50:28 +0200",
  date-modified = "2020-06-01 15:50:28 +0200",
  Institution   = "Stockholm University, Department of Philosophy",
  ISBN          = "9781848901728",
  Number        = "27",
  Pages         = "15--32",
  Series        = "Tributes",
  Title         = "Classical versus intuitionistic logic",
  Year          = "2015",
  File          = "Why is this a Proof Festschrift for Luiz Carlos Pereira by Edward Hermann Haeusler, Wagner de Campos Sanz, Bruno Lopes (eds.) (z-lib.org) - a pages 21 - 38 - a - e.pdf"
}

@InCollection{ Prawitz921380, Author = "Prawitz, Dag", BookTitle = "Why is this a Proof? : Festschrift for Luiz Carlos Pereira", date-added = "2020-06-01 15:50:28 +0200", date-modified = "2020-06-01 15:50:28 +0200", Institution = "Stockholm University, Department of Philosophy", ISBN = "9781848901728", Number = "27", Pages = "15--32", Series = "Tributes", Title = "Classical versus intuitionistic logic", Year = "2015", File = "Why is this a Proof Festschrift for Luiz Carlos Pereira by Edward Hermann Haeusler, Wagner de Campos Sanz, Bruno Lopes (eds.) (z-lib.org) - a pages 21 - 38 - a - e.pdf" }