✓

@Book{            book:1208166,
  Author        = "Simpson, Stephen G.",
  date-added    = "2022-05-14 13:35:50 +0200",
  date-modified = "2022-05-14 13:38:35 +0200",
  ISBN          = "0-8218-5052-0,978-0-8218-5052-7,47-1985-511-3,31-1985-295-3,17-1974-384-3,59-1963-833-8",
  Publisher     = "Amer Mathematical Society",
  Series        = "Contemporary Mathematics 065",
  Title         = "Logic and Combinatorics: Proceedings",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=e1d065356e31de3477f05fdd64b453a0",
  Year          = "1987",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=e1d065356e31de3477f05fdd64b453a0",
  File          = "Logic and Combinatorics Proceedings (Stephen G. Simpson (ed.)) (z-lib.org) - i.pdf",
  file-2        = "Logic and Combinatorics Proceedings (Stephen G. Simpson (ed.)) (z-lib.org) - i.djvu"
}

@Book{ book:1208166, Author = "Simpson, Stephen G.", date-added = "2022-05-14 13:35:50 +0200", date-modified = "2022-05-14 13:38:35 +0200", ISBN = "0-8218-5052-0,978-0-8218-5052-7,47-1985-511-3,31-1985-295-3,17-1974-384-3,59-1963-833-8", Publisher = "Amer Mathematical Society", Series = "Contemporary Mathematics 065", Title = "Logic and Combinatorics: Proceedings", URL = "http://gen.lib.rus.ec/book/index.php?md5=e1d065356e31de3477f05fdd64b453a0", Year = "1987", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=e1d065356e31de3477f05fdd64b453a0", File = "Logic and Combinatorics Proceedings (Stephen G. Simpson (ed.)) (z-lib.org) - i.pdf", file-2 = "Logic and Combinatorics Proceedings (Stephen G. Simpson (ed.)) (z-lib.org) - i.djvu" }