TY  - BOOK
AU  - Gabbay Dov M
TI  - Labelled deductive systems
SN  - 0-19-853833-2
U1  - 511.24 
PY  - 1996///
CY  - Oxford
PB  - Clarendon Press
KW  - Deductive mathematics
ER  -