An edition of Well-Quasi Orders in Computation, Logic, Language and Reasoning
(2020)
Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
by Peter M. Schuster, Monika Seisenberger, and Andreas Weiermann
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
2021, Springer International Publishing AG
in English
3030302318 9783030302313
|
zzzz
|
|
2
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
2020, Springer International Publishing AG
in English
3030302288 9783030302283
|
aaaa
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| October 7, 2021 | Created by ImportBot | import new book |