David J. Pym profile picture

David J. Pym

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
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
The Semantics and Proof Theory of the Logic of Bunched Implications
Proofs, Search and Computation in General Logic
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
The Semantics and Proof Theory of the Logic of Bunched Implications