✓

@Book{            book:2469532,
  Author        = "Schuster, Peter M. and Seisenberger, Monika and Weiermann, Andreas",
  date-added    = "2020-04-13 10:08:59 +0200",
  date-modified = "2020-04-13 10:08:59 +0200",
  Edition       = "1st ed. 2020",
  ISBN          = "978-3-030-30228-3,978-3-030-30229-0",
  Publisher     = "Springer International Publishing",
  Series        = "Trends in Logic 53",
  Title         = "Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=f53f2cd1c4deb1fa830f763f07b3c3ce",
  Year          = "2020",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=f53f2cd1c4deb1fa830f763f07b3c3ce",
  File          = "Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory by Peter M. Schuster, Monika Seisenberg (z-lib.org) - a.pdf"
}

@Book{ book:2469532, Author = "Schuster, Peter M. and Seisenberger, Monika and Weiermann, Andreas", date-added = "2020-04-13 10:08:59 +0200", date-modified = "2020-04-13 10:08:59 +0200", Edition = "1st ed. 2020", ISBN = "978-3-030-30228-3,978-3-030-30229-0", Publisher = "Springer International Publishing", Series = "Trends in Logic 53", Title = "Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory", URL = "http://gen.lib.rus.ec/book/index.php?md5=f53f2cd1c4deb1fa830f763f07b3c3ce", Year = "2020", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=f53f2cd1c4deb1fa830f763f07b3c3ce", File = "Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory by Peter M. Schuster, Monika Seisenberg (z-lib.org) - a.pdf" }