Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory - Trends in Logic - - Books - Springer Nature Switzerland AG - 9783030302313 - August 26, 2021
In case cover and title do not match, the title is correct

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory - Trends in Logic 2020 edition

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.

391 pages, 100 Tables, color; 4 Illustrations, color; 99 Illustrations, black and white; X, 391 p. 1

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 26, 2021
ISBN13 9783030302313
Publishers Springer Nature Switzerland AG
Pages 391
Dimensions 150 × 220 × 10 mm   ·   562 g
Language German  
Editor Schuster, Peter M.
Editor Seisenberger, Monika
Editor Weiermann, Andreas

More from the same publisher