✓

@Book{            book:964764,
  Author        = "{\O}hrstr{\o}m, Peter and Hasle, F. V. Per",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "1",
  ISBN          = "978-0-7923-3586-3,978-0-585-37463-5",
  Publisher     = "Springer Netherlands",
  Series        = "Studies in Linguistics and Philosophy 57",
  Title         = "Temporal Logic: From Ancient Ideas to Artificial Intelligence",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=6264772aa68572b3cc47025cab70cedf",
  Year          = "1995",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=6264772aa68572b3cc47025cab70cedf",
  File          = "Temporal-Logic-From-Ancient-Ideas-to-Artificial-Intelligence (0) - a - a - a.pdf"
}

@Book{ book:964764, Author = "{\O}hrstr{\o}m, Peter and Hasle, F. V. Per", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "1", ISBN = "978-0-7923-3586-3,978-0-585-37463-5", Publisher = "Springer Netherlands", Series = "Studies in Linguistics and Philosophy 57", Title = "Temporal Logic: From Ancient Ideas to Artificial Intelligence", URL = "http://gen.lib.rus.ec/book/index.php?md5=6264772aa68572b3cc47025cab70cedf", Year = "1995", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=6264772aa68572b3cc47025cab70cedf", File = "Temporal-Logic-From-Ancient-Ideas-to-Artificial-Intelligence (0) - a - a - a.pdf" }