Springer

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

Name: Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic Book 53)
Brand: Springer
SKU: B083DH1M6W
Price: 4519.00 ZAR
Availability: InStock

No Stock / Cannot Import

Secure checkout

Your payment is fully protected

Duties & VAT included

No surprise charges at the door

Tracked delivery

Track your order end to end

Returns support

30-day return window

Description

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

Shipping & Delivery

Your order is shipped from the USA and delivered to your door in South Africa in 10–20 working days. All items are fully tracked.

Returns & Exchanges

We offer a 30-day return window. If something isn't right, contact our support team and we'll make it right.