Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Serie: Trends in Logic 53
Leveringstid: Sendes innen 21 dager
The book introduces readers to the many facets of, and recent developments in, wqos through chapters contributed by scholars from various fields. As such, it offers a valuable asset for logicians, mathematicians and computer scientists, as well as scholars and students.