Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

MLA

Schuster, Peter M, Monika Seisenberger, and Andreas Weiermann. Well-quasi Orders In Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory. Springer International Publishing, 2020.

APA

Schuster, P. M, Seisenberger, M., & Weiermann, A. (2020). Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory. Springer International Publishing.

Chicago

Schuster, Peter M., Monika Seisenberger, and Andreas Weiermann. Well-Quasi Orders In Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory. : Springer International Publishing, 2020.