Online Library TheLib.net » Author books / Книги автора Ulrich Berger (editor),Hannes Diener (editor),Peter Schuster (editor),Monika Seisenberger (editor)
book Logic, Construction, Computation
Logic, Construction, Computation
pdf
00
01.03.2024
0
0
Read online
book Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic)
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic)
pdf
00
06.02.2024
0
0
Read online