✓

@Book{            book:833355,
  Author        = "Barwise, Jon and Etchemendy, John",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "1",
  ISBN          = "1881526119",
  Publisher     = "CSLI Publications",
  Series        = "Center for the Study of Language and Information - CSLI Lecture Notes 42",
  Title         = "Hyperproof",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=fbfbb0b02ba2f3e3ea283a81719a3523",
  Year          = "1994",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=fbfbb0b02ba2f3e3ea283a81719a3523",
  File          = "Hyperproof - a - a - a.pdf"
}

@Book{ book:833355, Author = "Barwise, Jon and Etchemendy, John", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "1", ISBN = "1881526119", Publisher = "CSLI Publications", Series = "Center for the Study of Language and Information - CSLI Lecture Notes 42", Title = "Hyperproof", URL = "http://gen.lib.rus.ec/book/index.php?md5=fbfbb0b02ba2f3e3ea283a81719a3523", Year = "1994", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=fbfbb0b02ba2f3e3ea283a81719a3523", File = "Hyperproof - a - a - a.pdf" }