TY  - BOOK
AU  - Basin,David
TI  - Labelled deduction
SN  - 0792362373
U1  - 162 
PY  - 2000///
CY  - Dordrecht
PB  - Kluwer Academic Publishers
KW  - Modality (Logic)
ER  -