Eike Ritter profile picture

Eike Ritter

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45
Reductive Logic and Proof-search Proof Theory, Semantics, and Control
Reductive Logic and Proof-search Proof Theory, Semantics, and Control