ISBN 9783030302313 books & textbook
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)
Schuster, Peter M. Seisenberger, Monika Weiermann, Andreas
Springer /2021-08-26 Paperback / 404 Pages
isbn-10: 3030302318 / isbn-13: 9783030302313
