![](/img/cover-not-exists.png)
Displaying and Deciding Substructural Logics 1: Logics with Contraposition
Greg RestallVolume:
27
Language:
english
Pages:
38
DOI:
10.1023/a:1017998605966
Date:
April, 1998
File:
PDF, 332 KB
english, 1998