"The Semantics and Proof Theory of the Logic of Bunched Implications" ist eine umfassende Monografie, die sich mit der mathematischen Theorie der Logik der gebündelten Implikationen (BI) beschäftigt. Der Autor untersucht die Beweis-, Modell- und Berechnungstheorie von BI und beleuchtet dabei auch die informatischen Aspekte dieser Logik. Die Arbeit beginnt mit einer Einführung, die die Sichtweise des Autors auf die Logik aus informatischer Perspektive darstellt. Dabei werden drei zentrale logische Themen behandelt, die aus der Entwicklung der Logik in der Informatik hervorgegangen sind: die Rolle von Ressourcen in der Semantik, die Beweisführung als Grundlage des Schliessens und die Theorie der Repräsentation von Objektlogiken in einer Meta-Logik. Die Monografie gliedert sich in zwei Hauptteile: Der erste Teil widmet sich der logischen Theorie der propositionalen BI, während der zweite Teil eine entsprechende Entwicklung für die prädikative BI präsentiert. In beiden Teilen werden tiefgehende Analysen aus der Beweis-, Modell- und Typentheorie angeboten, ergänzt durch semantisch motivierte computationale Perspektiven, die den Grundstein für eine mathematische Theorie der Ressourcen legen.