✓

@Book{            book:1361120,
  Author        = "AAVV",
  Editor        = "Barwise, J. and Feferman, S.",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "9780387909363,9783540909361,0387909362,3540909362",
  Publisher     = "Springer",
  Series        = "Perspectives in Mathematical Logic",
  Title         = "Model-theoretic logics",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=5f13d93911eea1d3a5588901ff96c218",
  Year          = "1985",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=5f13d93911eea1d3a5588901ff96c218",
  File          = "[J.\_Barwise,\_S.\_Feferman\_(eds.)]\_Model-theoretic\_l(z-lib.org) (0) (0) - a - a.pdf"
}

@Book{ book:1361120, Author = "AAVV", Editor = "Barwise, J. and Feferman, S.", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "9780387909363,9783540909361,0387909362,3540909362", Publisher = "Springer", Series = "Perspectives in Mathematical Logic", Title = "Model-theoretic logics", URL = "http://gen.lib.rus.ec/book/index.php?md5=5f13d93911eea1d3a5588901ff96c218", Year = "1985", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=5f13d93911eea1d3a5588901ff96c218", File = "[J._Barwise,_S._Feferman_(eds.)]_Model-theoretic_l(z-lib.org) (0) (0) - a - a.pdf" }