"The Semantics and Proof Theory of the Logic of Bunched Implications" is a comprehensive monograph that deals with the mathematical theory of Bunched Implications (BI) logic. The author examines the proof, model, and computation theory of BI, also highlighting the computational aspects of this logic. The work begins with an introduction that presents the author's perspective on logic from a computational viewpoint. Three central logical themes that have emerged from the development of logic in computer science are addressed: the role of resources in semantics, proof as the foundation of reasoning, and the theory of representing object logics in a meta-logic. The monograph is divided into two main parts: the first part focuses on the logical theory of propositional BI, while the second part presents a corresponding development for predicative BI. Both parts offer in-depth analyses from proof, model, and type theory, supplemented by semantically motivated computational perspectives that lay the groundwork for a mathematical theory of resources.