An Introduction to Substructural Logics - Greg Restall (Taylor and Francis, 2000)