TY - BOOK AU - Peter M. Schuster, Monika Seisenberger, Andreas Weiermann TI - Well-Quasi Orders in Computation, Logic, Language and Reasoning SN - 9783030302290 PB - Springer UR - https://link.springer.com/openurl?genre=book&isbn=978-3-030-30229-0 ER -