✓

@Book{            book:338712,
  Author        = "Vaught, Robert and Mycielski, Jan and Rozenberg, Grzegorz and Salomaa, Arto",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Location      = "338000/238ac5758c9c78f61ef0579795130357",
  md5           = "238AC5758C9C78F61EF0579795130357",
  resid         = "338712",
  size          = "3291999",
  status        = "OK",
  subject       = "Computers",
  Title         = "Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht",
  Type          = "djvu",
  URL           = "338000/238ac5758c9c78f61ef0579795130357",
  bdsk-url-1    = "338000/238ac5758c9c78f61ef0579795130357",
  File          = "Robert Vaught auth., Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa eds. Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht (0) - a - a.pdf",
  file-2        = "Robert Vaught auth., Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa eds. Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht (0) - a - a.djvu"
}

@Book{ book:338712, Author = "Vaught, Robert and Mycielski, Jan and Rozenberg, Grzegorz and Salomaa, Arto", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Location = "338000/238ac5758c9c78f61ef0579795130357", md5 = "238AC5758C9C78F61EF0579795130357", resid = "338712", size = "3291999", status = "OK", subject = "Computers", Title = "Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht", Type = "djvu", URL = "338000/238ac5758c9c78f61ef0579795130357", bdsk-url-1 = "338000/238ac5758c9c78f61ef0579795130357", File = "Robert Vaught auth., Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa eds. Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht (0) - a - a.pdf", file-2 = "Robert Vaught auth., Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa eds. Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht (0) - a - a.djvu" }