David J. Pym

Identifiers

Open LibraryOL2667685A

Top Subjects

Computer science (2)
Logic (2)
Logic, Symbolic and mathematical (2)
Philosophy (General) (1)
Mathematics (1)
Mathematical theory of computation (1)
Science/Mathematics (1)

Books by David J. Pym

Total count: 7

Errata and remarks

LFCS, Dept. of Computer Science, University of Edinburgh1993-01-01
The Semantics and Proof Theory of the Logic of Bunched Implications

Springer Netherlands2002-01-01
The semantics and proof theory of the logic of bunched implications

Kluwer Academic Publishers2002-01-01
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)1 edition

Springer2002-07-31
Reductive Logic and Proof-SearchProof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45

Oxford University Press2004-01-01
Economics of information security and privacy

Springer2010-01-01
Proofs, Search and Computation in General Logic

Cambridge University Press