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

Binding : Taschenbuch, Edition : 1st ed. 2020, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 404, publicationDate : 2021-08-26, releaseDate : 2021-08-26, publishers : Schuster, Peter M, Andreas Weiermann, Monika Seisenberger, ISBN : 3030302318 ...