TY  - GEN
AU  - Gabbay, Dov M.,
TI  - Labelled deductive systems
SN  - 0198538332 (v. 1)
AV  - BC71 
U1  - 160 20
PY  - 1996///-
CY  - New York, Oxford
PB  - Oxford University Press, Clarendon Press
KW  - Logic
N1  - Includes bibliographical references and index
ER  -