Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Buy Now

Well-Quasi Orders in Computation, Logic, Language and Reasoning - A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Hardcover, 1st ed. 2020) Loot Price: R5,281

Discovery Miles 52 810

Repayment Terms: R495 pm x 12*

Add to cart

Well-Quasi Orders in Computation, Logic, Language and Reasoning - A Unifying Concept of Proof Theory, Automata Theory, Formal...

Well-Quasi Orders in Computation, Logic, Language and Reasoning - A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Hardcover, 1st ed. 2020)

Peter M. Schuster, Monika Seisenberger, Andreas Weiermann

Series: Trends in Logic, 53

(sign in to rate)

Loot Price R5,281 Discovery Miles 52 810 | Repayment Terms: R495 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	Trends in Logic, 53
Release date:	2020
First published:	2020
Editors:	Peter M. Schuster • Monika Seisenberger • Andreas Weiermann
Dimensions:	235 x 155mm (L x W)
Format:	Hardcover
Pages:	391
Edition:	1st ed. 2020
ISBN-13:	978-3-03-030228-3
Categories:	Books > Science & Mathematics > Mathematics > Combinatorics & graph theory Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Books > Philosophy > Topics in philosophy > Logic Promotions
LSN:	3-03-030228-8
Barcode:	9783030302283