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

Price
$ 186.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 9 - 15

Our customers say:

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

Also available as:

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

Mere med samme udgiver