✓

@Book{            book:74618,
  Author        = "Homer, Steven and Nerode, Anil and Platek, Richard A. and Sacks, Gerald E. and Scedrov, Andre and Odifreddi, Piergiorgio",
  date-added    = "2021-03-18 08:58:47 +0100",
  date-modified = "2023-10-14 16:58:00 +0200",
  Edition       = "1",
  ISBN          = "3540527346,9783540527343,3540527346-:,0387527346",
  Publisher     = "Springer-Verlag",
  Series        = "Lecture notes in mathematics 1429",
  Title         = "Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=7b865d07167ef3799216bd88ede29a92",
  Year          = "1990",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=7b865d07167ef3799216bd88ede29a92",
  File          = "(Lecture notes in mathematics 1429) Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi - Logic and computer science\_ lectures given at the 1st session - a.djvu",
  file-2        = "(Lecture notes in mathematics 1429) S. Homer, R. A. Platek, A. Scedrov, A. Nerode, Gerald E. Sacks - Logic and computer science\_ lectures given at the 1st session of the Centro internazionale matemati - a.djvu"
}

@Book{ book:74618, Author = "Homer, Steven and Nerode, Anil and Platek, Richard A. and Sacks, Gerald E. and Scedrov, Andre and Odifreddi, Piergiorgio", date-added = "2021-03-18 08:58:47 +0100", date-modified = "2023-10-14 16:58:00 +0200", Edition = "1", ISBN = "3540527346,9783540527343,3540527346-:,0387527346", Publisher = "Springer-Verlag", Series = "Lecture notes in mathematics 1429", Title = "Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo", URL = "http://gen.lib.rus.ec/book/index.php?md5=7b865d07167ef3799216bd88ede29a92", Year = "1990", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=7b865d07167ef3799216bd88ede29a92", File = "(Lecture notes in mathematics 1429) Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi - Logic and computer science_ lectures given at the 1st session - a.djvu", file-2 = "(Lecture notes in mathematics 1429) S. Homer, R. A. Platek, A. Scedrov, A. Nerode, Gerald E. Sacks - Logic and computer science_ lectures given at the 1st session of the Centro internazionale matemati - a.djvu" }