Well-Quasi Orders in Computation, Logic, Language and Reasoning

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Well-Quasi Orders in Computation, Logic, Language and Reasoning son 9783030302290, 3030302296 y los ISBN de versión impresa son 9783030302283, 3030302288. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Well-Quasi Orders in Computation, Logic, Language and Reasoning son 9783030302290, 3030302296 y los ISBN de versión impresa son 9783030302283, 3030302288. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.