An Introduction to Substructural Logics

An Introduction to Substructural Logics

1999 • 402 pages