Readers may be interested to know that the monograph, "The Semantics and Proof Theory of the Logic of Bunched Implications'', by David J. Pym, published by Kluwer Academic Publishers in the Applied Logic Series, is now available: see http://www.wkap.nl/prod/s/APLS and follow the link or see http://www.wkap.nl/prod/b/1-4020-0745-0. Table of Contents. List of Figures. List of Tables. Preface. Acknowledgments. Foreword; Dov M. Gabbay. Introduction; David J. Pym. Part I: Propositional BI. 1. Introduction to Part I. 2. Natural Deduction for Propositional BI. 3. Algebraic, Topological, Categorical. 4. Kripke Semantics. 5. Topological Kripke Semantics. 6. Propositional BI as a Sequent Calculus. 7. Towards Classical Propositional BI. 8. Bunched Logical Relations. 9. The Sharing Interpretation, I. Part II: Predicate BI. 10. Introduction to Part II. 11. The Syntax of Predicate BI. 12. Natural Deduction & Sequent Calculus For Predicate BI. 13. Kripke Semantics for Predicate BI. 14. Topological Kripke Semantics for Predicate BI. 15. Resource Semantics, Type Theory & Fibred Categories. 16. The Sharing Interpretation, II. Bibliography. Index. -- Prof. David J. Pym Telephone: +44 (0)1 225 38 3246 Professor of Logic & Computation Facsimile: +44 (0)1 225 38 3493 University of Bath Email: d.j.pym@bath.ac.uk Bath BA2 7AY, England, U.K. Web: http://www.bath.ac.uk/~cssdjp