Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory Ebook (hebook.shop)

$25.00

Springer

Category: Tag: