✓

@Book{            book:2242525,
  Author        = "Fitting, Melvin",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "2nd",
  ISBN          = "9781461275152,1461275156",
  Publisher     = "Springer",
  Series        = "Graduate Texts in Computer Science",
  Title         = "First-order logic and automated theorem proving",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=bbb67926383c758eb0ed048dbcd86a5f",
  Year          = "2013",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=bbb67926383c758eb0ed048dbcd86a5f",
  File          = "[Graduate Texts in Computer Science] Fitting, Melvin - First-order logic and automated theorem proving. (2013, Springer) (0) - a - a.pdf"
}

@Book{ book:2242525, Author = "Fitting, Melvin", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "2nd", ISBN = "9781461275152,1461275156", Publisher = "Springer", Series = "Graduate Texts in Computer Science", Title = "First-order logic and automated theorem proving", URL = "http://gen.lib.rus.ec/book/index.php?md5=bbb67926383c758eb0ed048dbcd86a5f", Year = "2013", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=bbb67926383c758eb0ed048dbcd86a5f", File = "[Graduate Texts in Computer Science] Fitting, Melvin - First-order logic and automated theorem proving. (2013, Springer) (0) - a - a.pdf" }