| Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive 2020 Edition Contributor(s): Schuster, Peter M. (Editor), Seisenberger, Monika (Editor), Weiermann, Andreas (Editor) |
|
 |
ISBN: 3030302318 ISBN-13: 9783030302313 Publisher: Springer OUR PRICE: $189.99 Product Type: Paperback - Other Formats Published: August 2021 |
| Additional Information |
| BISAC Categories: - Philosophy | Logic - Mathematics | Graphic Methods - Mathematics | Logic |
| Dewey: 005.131 |
| Physical Information: 0.83" H x 6.14" W x 9.21" (1.24 lbs) 391 pages |