9783030302313 - 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, band 53) (11 Ergebnisse)

Taschenbuch. Zustand: Neu. Well-Quasi Orders in Computation, Logic, Language and Reasoning | A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory | Peter M. Schuster (u. a.) | Taschenbuch | Trends in Logic | x | Englisch | 2021 | Springer | EAN 9783030302313 | Verantwortliche Person fü…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and…

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Peter Schuster is an Associate Professor of Mathematical Logic at the University of Verona. After completing both his doctorate and habilitation in mathematics at the University of Munich, he was a Lecturer at the Unive…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of…