The Semantics and Proof Theory of the Logic of Bunched Implications

Name: The Semantics and Proof Theory of the Logic of Bunched Implications
Author: David J. Pym

Subjects Philosophy (General) · Computer science · Logic · Logic, symbolic and mathematical · Philosophy · Programming Languages, Compilers, Interpreters

Language ENG

Free download

Download "The Semantics and Proof Theory of the Logic of Bunched Implications"

PDF·EPUB·MOBI·TXT

No signup. No fees. Yours to keep.

About this book

The Semantics and Proof Theory of the Logic of Bunched Implications, written by David J. Pym, is now in the public domain and available here for free download. this title joins thousands of works in our philosophy collection.

Click the download button above to receive the complete text in your preferred ebook format—PDF, EPUB, MOBI, or plain text.