"Substructural Logics (Studies in Logic and Computation)" - читать интересную книгу автора (Kosta Došen, Peter Schroeder-Heister)