David J. Pym

David J. Pym

4 books in the database

Books

The Semantics and Proof Theory of the Logic of Bunched ImplicationsDavid J. Pym

The Semantics and Proof Theory of the Logic of Bunched Implications

David J. Pym · 2002

Reductive logic and proof-searchDavid J. Pym

Reductive logic and proof-search

David J. Pym · 2004

The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)David J. Pym

The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)

David J. Pym · 2002

Proofs, Search and Computation in General LogicDavid J. Pym

Proofs, Search and Computation in General Logic

Co-authored books and collections

Books that list David J. Pym among their authors but not as the lead author: co-written works, collections and compilations.

Economics of information security and privacyTyler Moore

Economics of information security and privacy

Tyler Moore · 2010