Substructural logics on display (1997)

by R Goré
Venue:Logic Journal of IGPL