✓

@Book{            book:56694,
  Author        = "Kaye, L.",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "0-511-34273-X",
  Publisher     = "Cambridge University Press",
  Title         = "Mathematics of Logic: A Guide to Completeness Theorems and Their Applications",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=df391b71f92eefdcb0a67ca0b31194f0",
  Year          = "2007",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=df391b71f92eefdcb0a67ca0b31194f0",
  File          = "Mathematics of Logic A Guide to Completeness Theorems and Their Applications by Kaye L. (z-lib.org) - a - a - a.pdf"
}

@Book{ book:56694, Author = "Kaye, L.", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "0-511-34273-X", Publisher = "Cambridge University Press", Title = "Mathematics of Logic: A Guide to Completeness Theorems and Their Applications", URL = "http://gen.lib.rus.ec/book/index.php?md5=df391b71f92eefdcb0a67ca0b31194f0", Year = "2007", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=df391b71f92eefdcb0a67ca0b31194f0", File = "Mathematics of Logic A Guide to Completeness Theorems and Their Applications by Kaye L. (z-lib.org) - a - a - a.pdf" }