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 - 9783030302283 - January 3, 2020
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     Hardcover Book   (Book with hard spine and cover)
Released January 3, 2020
ISBN13 9783030302283
Publishers Springer Nature Switzerland AG
Pages 391
Dimensions 242 × 163 × 29 mm   ·   762 g
Language German  
Editor Schuster, Peter M.
Editor Seisenberger, Monika
Editor Weiermann, Andreas

More from the same publisher