(eBook PDF) Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
(eBook PDF) Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
ibuks
MSRP:
Was:
Now:
$30.00
(You save
)
(No reviews yet)
Write a Review
Write a Review
ibuks
(eBook PDF) Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
- SKU:
- UPC:
- Condition:
- New
ibuks
(eBook PDF) Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
MSRP:
Was:
Now:
$19.99
ibuks
(eBook PDF) Introduction to Languages, Machines and Logic Computable Languages, Abstract Machines and Formal Logic
MSRP:
Was:
Now:
$24.99
ibuks
(eBook PDF) Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity
MSRP:
Was:
Now:
$19.99
!