👤

David J. Pym

5 books

Books by David J. Pym

Reductive logic and proof-search
Reductive logic and proof-search
2004
The semantics and proof theory of the logic of bunched implications
The semantics and proof theory of the logic of bunched implications
2002
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 (Applied Logic Series)
2002
Errata and remarks
Errata and remarks
1993
Proofs, Search and Computation
Proofs, Search and Computation in General Logic