Schuster - 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, 53, Band 53)

Brand : Springer, Binding : Gebundene Ausgabe, Edition : 1st ed. 2020, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 404, publicationDate : 2020-01-03, releaseDate : 2020-01-03, authors : Schuster, ISBN : 3030302288 ...