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: 3030302288 ISBN-13: 9783030302283 Publisher: Springer OUR PRICE: $189.99 Product Type: Hardcover - Other Formats Published: January 2020 |
Additional Information |
BISAC Categories: - Philosophy | Logic - Mathematics | Graphic Methods - Mathematics | Logic |
Dewey: 005.131 |
Series: Trends in Logic |
Physical Information: 0.94" H x 6.14" W x 9.21" (1.63 lbs) 391 pages |