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

Online Library TheLib.net » Book serie: / Книги серии: Trends in Logic (Book 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 (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

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

00

06.02.2024

0

0