TY  - BOOK
AU  - Basin, David
TI  - Labelled deduction
SN  - 9780792362371
SN  - 28202
U1  - 511.3 BAS 
PY  - 2000///
CY  - Dordrecht ; Boston
PB  - Kluwer Academic Publishers
KW  - Modality (Logic)
N1  - Includes bibliographical references
ER  -