Skip to main content
Zoom the image with the mouse

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

by

15 order in last 12 hour
ISBN: 9783030302313
List Price: $179.99
Special Offers Available
Free shipping on orders over $95
Buy one with 1% offer on sale price
Buy New
Hurry! Only left
Image coming soon
As low as $179.99

Well-Quasi Orders in Computation, Logic, Language and Reasoning (9783030302313)

Springer

We can help you leverage the power of books

Customer Service

Connect with a dedicated account manager who is there every step of the way.

Price Match Guarantee

If you see better pricing elsewhere on your desired quantity, we will price match so you can be sure to get the best pricing.

Free Shipping

Enjoy free ground shipping on your order of $95 or more!

Brand New Guarantee

We only sell books that are brand new and protect that with a guarantee.

Customization

From author signatures to marketing inserts, custom packaging to brand stickers, we can help take your book marketing to the next level.

Learn more about ordering
Details

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.

The book, Well-Quasi Orders in Computation, Logic, Language and Reasoning (9783030302313) [Order Bulk Books, Wholesale, Quantity Discount] with ISBN# 9783030302313 in by may be ordered bulk quantities. Minimum orders start at copies.

Product details

Publisher: Springer International Publishing
Publisher: Springer International Publishing

GMA connects authors, speakers, and talent with the right people at the right time.

Learn More

Customer Reviews