English
Beginner
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)
Peter M. Schuster (editor),Monika Seisenberger (editor),Andreas Weiermann (editor)
2020
View book