✓

@Book{            book:1300310,
  Author        = "Wansing, Heinrich",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "1",
  ISBN          = "3319110403,9783319110400",
  Publisher     = "Springer International Publishing",
  Series        = "Outstanding Contributions to Logic 7",
  Title         = "Dag Prawitz on Proofs and Meaning",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=c774ccfb8911e50e11460d91546fa11d",
  Year          = "2015",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=c774ccfb8911e50e11460d91546fa11d",
  File          = "Dag Prawitz on Proofs and Meaning by Heinrich Wansing (eds.) (z-lib.org) - a - a - a.pdf"
}

@Book{ book:1300310, Author = "Wansing, Heinrich", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "1", ISBN = "3319110403,9783319110400", Publisher = "Springer International Publishing", Series = "Outstanding Contributions to Logic 7", Title = "Dag Prawitz on Proofs and Meaning", URL = "http://gen.lib.rus.ec/book/index.php?md5=c774ccfb8911e50e11460d91546fa11d", Year = "2015", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=c774ccfb8911e50e11460d91546fa11d", File = "Dag Prawitz on Proofs and Meaning by Heinrich Wansing (eds.) (z-lib.org) - a - a - a.pdf" }