✓

@Book{            book:755072,
  Author        = "Wiedijk, Freek and Wiedijk, Freek",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "1",
  ISBN          = "3540307044,9783540307044",
  Publisher     = "Springer-Verlag Berlin Heidelberg",
  Series        = "Lecture Notes in Computer Science 3600 : Lecture Notes in Artificial Intelligence",
  Title         = "The Seventeen Provers of the World: Foreword by Dana S. Scott",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=82EA74D414EFE31AB215BC29A5EF8162",
  Year          = "2006",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=82EA74D414EFE31AB215BC29A5EF8162",
  File          = "[Freek\_Wiedijk\_(auth.),\_Freek\_Wiedijk\_(eds.)]\_The\_(z-lib.org) (0) (0) - a - a.pdf"
}

@Book{ book:755072, Author = "Wiedijk, Freek and Wiedijk, Freek", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "1", ISBN = "3540307044,9783540307044", Publisher = "Springer-Verlag Berlin Heidelberg", Series = "Lecture Notes in Computer Science 3600 : Lecture Notes in Artificial Intelligence", Title = "The Seventeen Provers of the World: Foreword by Dana S. Scott", URL = "http://gen.lib.rus.ec/book/index.php?md5=82EA74D414EFE31AB215BC29A5EF8162", Year = "2006", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=82EA74D414EFE31AB215BC29A5EF8162", File = "[Freek_Wiedijk_(auth.),_Freek_Wiedijk_(eds.)]_The_(z-lib.org) (0) (0) - a - a.pdf" }