An Introduction To Substructural Logics by Greg Restall