Author

David J. Pym

1 titles available
Cover of The Semantics and Proof Theory of the Logic of Bunched Implications by David J. Pym

The Semantics and Proof Theory of the Logic of Bunched Implications

About David J. Pym

Free ebooks by David J. Pym available for download.