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.