Computing Publications

Publications Home » Compiled Labelled Deductive Syste...

Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics (2004)

Krysia Broda, Dov Gabbay, Luis Lamb, Alessandra Russo

Book
Research Monograph
2004
Research Study Press
ISBN 0863802966
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.