Substructural Logics

This Phd course provides an introduction to substructural logics.