✓

@Book{            book:71149,
  Author        = "Huth, Michael and Ryan, Mark",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "2nd ed",
  ISBN          = "052154310X,9780521543101",
  Publisher     = "Cambridge University Press",
  Title         = "Logic in computer science: modelling and reasoning about systems",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=E4857A2B77688C03690FBB08C11C0620",
  Year          = "2004",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=E4857A2B77688C03690FBB08C11C0620",
  File          = "[Michael\_Huth,\_Mark\_Ryan]\_Logic\_in\_computer\_scienc(b-ok.xyz) (0) - a - a.pdf"
}

@Book{ book:71149, Author = "Huth, Michael and Ryan, Mark", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "2nd ed", ISBN = "052154310X,9780521543101", Publisher = "Cambridge University Press", Title = "Logic in computer science: modelling and reasoning about systems", URL = "http://gen.lib.rus.ec/book/index.php?md5=E4857A2B77688C03690FBB08C11C0620", Year = "2004", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=E4857A2B77688C03690FBB08C11C0620", File = "[Michael_Huth,_Mark_Ryan]_Logic_in_computer_scienc(b-ok.xyz) (0) - a - a.pdf" }