An Introduction to Substructural Logics
by Greg Restall

This is an introduction to an important group of logics that have come to be known under the umbrella term susbstructural. Substructural logics have independently led to significant developments in philosophy, computing and linguistics.
Symbolic and mathematical LogicLogic, symbolic and mathematicalLogique symbolique et mathématique