Computing Publications

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.