Computing Publications

Publications Home » Labelled natural deduction for fi...

Labelled natural deduction for first order conditional logic

Luis Lamb, Krysia Broda, Dov Gabbay

Conference or Workshop Paper
Proceedings of logic colloquim 2001, Vienna
March, 2002
Volume 8
Issue 8
Association for Symbolic Logic
BibTEX file for the publication built & maintained by Ashok Argent-Katwala.