Del 53 - Trends in Logic
Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Inbunden, Engelska, 2020
2 589 kr
Skickas inom 10-15 vardagar
Andreas Weiermann – författare
Visar alla böcker från författaren Andreas Weiermann.
3 produkter
3 produkter
- Del 53 - Trends in Logic
Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Häftad, Engelska, 20212 589 kr
Skickas inom 10-15 vardagar
- Del 12813 - Lecture Notes in Computer Science
Connecting with Computability
17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings
Häftad, Engelska, 2021729 kr
Skickas inom 10-15 vardagar