Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
by Peter M. Schuster, Monika Seisenberger, Andreas Weiermann
- First published 2020
- 391 pages
- English
Reviews
No reviews yet. Be the first.
Details & editions
- This edition
- Springer International Publishing, 2021
- ISBN
- 9783030302313
- Language
- English
Original edition Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory Originally published in 2020 · English · Springer International Publishing
