Eike Ritter

Eike Ritter is the author of "Reductive Logic and Proof-Search", "Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45" and "Reductive Logic and Proof-search".

Books by Eike Ritter

Reductive Logic a...
Pym, David J.
Electronic book text:

Reductive Logic a...
Pym, David J.
Electronic book text: $215.32

Reductive Logic a...
Pym, David J.
Hardback: $205.00

Reductive Logic a...
Pym, David J.
Electronic book text: $215.32