Title: Substructural logics
First published: 2002
Subjects: Logic
LC classification: BC71 .P36 2002