Skip to main content

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

ibuks

$30.00
(No reviews yet) Write a Review
Condition:
New
Adding to cart… The item has been added
(eBook PDF) Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory