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

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

by Andreas Weiermann (Editor), Peter M. Schuster (Editor), Monika Seisenberger (Editor)

$167.90

Quantity

10 in stock

More Information

Format: Paperback
Pages: 401
Edition: 1st ed. 2020
Publisher: Springer
Published: 26 Aug 2021

ISBN 10: 3030302318
ISBN 13: 9783030302313