Book serie: / Книги серии: Trends in Logic 53 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Trends in Logic 53

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

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

pdf

Author: Peter M. Schuster Monika Seisenberger Andreas Weiermann
Language: English
Year: 2020

00

05.02.2024

0

0