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

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

Published January 1st 2020 by Springer

1st ed. 2020, Kindle Edition, 404 pages

less detail

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

Published August 26th 2021 by Springer

1st ed. 2020, Paperback, 404 pages

less detail

Well-Quasi Orders in Computation, Logic, Language and Reasoning (Trends in Logic, 53)

Published January 3rd 2020 by Springer

1st ed. 2020, Hardcover, 404 pages

less detail

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

Published January 4th 2020 by Springer

Paperback, 404 pages

less detail