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)
Powered by Amazon.com