![Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory](https://dl.bookem.ir/covers/ISBN13/9783030302283.jpg)
Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2020
شابک
9783030302283
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران