David J. Pym
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryEO
Economics of information security and privacy
cover - Image source: Open LibraryRL
Reductive logic and proof-search
cover - Image source: Open LibraryTS
The Semantics and Proof Theory of the Logic of Bunched Implications
cover - Image source: Open LibraryTS
The semantics and proof theory of the logic of bunched implications
cover - Image source: Open LibraryTS
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
cover - PSProofs, Search and Computation...David J. Pym
Proofs, Search and Computation in General Logic
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Economics of information security and privacy
- Open Work
Reductive logic and proof-search
- Open Work
The Semantics and Proof Theory of the Logic of Bunched Implications
- Open Work
The semantics and proof theory of the logic of bunched implications
- Open Work
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
- Open Work
Proofs, Search and Computation in General Logic