Publications Home » LDS-Natural Deduction for Substru...
LDS-Natural Deduction for Substructural Logics
Krysia Broda, Marcelo Finger, Alessandra Russo
- Journal Article
- 1996
- Volume 4
- Issue 3
- pp.486–489
- Oxford University Press
Postscript of full publication (79 kilobytes)- (need help viewing Postscript files?)
BibTEX file for the publication - N.B.
- Conditions for downloading publications from this site.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.