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 edition 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
|
aaaa
|
|
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
|
zzzz
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
History
- Created October 7, 2021
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 7, 2021 | Created by ImportBot | Imported from Better World Books record |