Online Library TheLib.net » Author books / Книги автора Peter M. Schuster Monika Seisenberger Andreas Weiermann
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
00
05.02.2024
0
0
Read online