✓

@Book{            1538208,
  Author        = "Droste, Manfred and Gurevich, Yuri",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  md5           = "91cda73538493f8416418a62eda83bda",
  resid         = "1538208",
  size          = "12718700",
  status        = "OK",
  Title         = "Semantics of Programming Languages and Model Theory",
  Type          = "pdf",
  File          = "Semantics-of-Programming-Languages-and-Model-Theory (0) - a - a.pdf",
  file-2        = "(Classics in the History and Philosophy of Science Algebra logic and applications 5) Manfred Droste, Yuri Gurevich-Semantics of Programming Languages and Model Theory-CRC Press\_Gordon \& Breach (1993) (0) - a - a.djvu"
}

@Book{ 1538208, Author = "Droste, Manfred and Gurevich, Yuri", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", md5 = "91cda73538493f8416418a62eda83bda", resid = "1538208", size = "12718700", status = "OK", Title = "Semantics of Programming Languages and Model Theory", Type = "pdf", File = "Semantics-of-Programming-Languages-and-Model-Theory (0) - a - a.pdf", file-2 = "(Classics in the History and Philosophy of Science Algebra logic and applications 5) Manfred Droste, Yuri Gurevich-Semantics of Programming Languages and Model Theory-CRC Press_Gordon \& Breach (1993) (0) - a - a.djvu" }