✓

@Book{            book:2281638,
  Author        = "Wasilewska, Anita",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "9783319925905",
  Publisher     = "Springer",
  Title         = "Logics for Computer Science: Classical and Non-Classical",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=a1a8237464ee835479372f38f5d82c13",
  Year          = "2018",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=a1a8237464ee835479372f38f5d82c13",
  File          = "Logics for Computer Science Classical and Non-Classical by Anita Wasilewska (z-lib.org) - a - a - a.pdf"
}

@Book{ book:2281638, Author = "Wasilewska, Anita", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "9783319925905", Publisher = "Springer", Title = "Logics for Computer Science: Classical and Non-Classical", URL = "http://gen.lib.rus.ec/book/index.php?md5=a1a8237464ee835479372f38f5d82c13", Year = "2018", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=a1a8237464ee835479372f38f5d82c13", File = "Logics for Computer Science Classical and Non-Classical by Anita Wasilewska (z-lib.org) - a - a - a.pdf" }