Relevant and Substructural Logic - Greg Restall


image