University of Birmingham) Ritter, Eike (, Lecturer in Computer Science - Böcker
Visar alla böcker från författaren University of Birmingham) Ritter, Eike (, Lecturer in Computer Science.
1 produkt
1 produkt
Del 45 - Oxford Logic Guides
Reductive Logic and Proof-search
Proof Theory, Semantics, and Control
Inbunden, Engelska, 2004
3 969 kr
Skickas inom 7-10 vardagar