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

eTEXT

Well-Quasi Orders in Computation, Logic, Language and Reasoning

A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

By: Peter M. Schuster (Editor), Monika Seisenberger (Editor), Andreas Weiermann (Editor)

eText | 1 January 2020

At a Glance

eText


$279.00

or 4 interest-free payments of $69.75 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Read online on
Desktop
Tablet
Mobile

Not downloadable to your eReader or an app

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

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 logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and subrecursive hierarchies. As a unifying concept for slick finiteness or termination proofs, wqos have been rediscovered in diverse contexts, and proven to be extremely useful in computer science.

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.

Read online on
Desktop
Tablet
Mobile

More in Philosophy & Logic

All or nothing - Reski Thami

eBOOK

$5.25

Free Logic : A Generalization - Greg Frost-Arnold

eBOOK

RRP $32.95

$28.99

12%
OFF
Susan Stebbing : Philosophical Papers - Siobhan Chapman

eBOOK

RRP $157.34

$141.99

10%
OFF
To be and not to be - Kristina Kichigina

eBOOK

By Myself - Kristina Kichigina

eBOOK

$47.99

The Journey of Purpose - Marshal Wenong

eBOOK