Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory,
by
$189.30
List Price: $199.99
Save: $10.69 (5%)
Description
Introduces readers to a highly active branch of combinatorics Unifies interdisciplinary areas between logic, mathematics and computer science Highlights relevant work by top scholars from various fields