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)
by Peter M. Schuster,Monika Seisenberger,Andreas Weiermann
ISBN 13: 9783030302313
Format: Paperback (401 pages) Publisher: Springer Published: 26 Aug 2021
Save for later
by Peter M. Schuster, Monika Seisenberger, Andreas Weiermann
ISBN 13: 9783030302283
Format: Hardcover (401 pages) Publisher: Springer Published: 03 Jan 2020