✓

@Book{            book:218944,
  Author        = {Sch{\"o}ning, Uwe},
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "1",
  ISBN          = "0817647627,9780817647629,9780817647636,0817634533,3764334533",
  Publisher     = {Birkh{\"a}user Basel},
  Series        = "Progress in Mathematics 8",
  Title         = "Logic for Computer Scientists",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=5c1cba877d2884588d39517e52ecb902",
  Year          = "2008",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=5c1cba877d2884588d39517e52ecb902",
  File          = "Logic for Computer Scientists by Uwe Schöning (auth.) (z-lib.org) - a - a - a.pdf"
}

@Book{ book:218944, Author = {Sch{\"o}ning, Uwe}, date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "1", ISBN = "0817647627,9780817647629,9780817647636,0817634533,3764334533", Publisher = {Birkh{\"a}user Basel}, Series = "Progress in Mathematics 8", Title = "Logic for Computer Scientists", URL = "http://gen.lib.rus.ec/book/index.php?md5=5c1cba877d2884588d39517e52ecb902", Year = "2008", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=5c1cba877d2884588d39517e52ecb902", File = "Logic for Computer Scientists by Uwe Schöning (auth.) (z-lib.org) - a - a - a.pdf" }