Schuster, Peter M., Seisenberger, Monika, Weiermann, Andreas
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory: 53 (Trends in Logic, 53)
- Availability
- To see availability please select your region.
- Books2Africa Collection
-
- Subjects
- Author(s)
- Published
- 3rd January 2020
- Publisher
- Springer
- ISBN-10
- 3030302288
- ISBN-13
- 9783030302283
To reserve this book you first need to set your reservation location.