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)

David J. Pym

No ratings yet

English · Hardcover

Rate this book

Export Book Journal

Book Details

Format Hardcover

Language English

Publisher Springer

Rate this book

Export Book Journal