TY  - BOOK
AU  - Gabbay,Dov M.
TI  - What is a logical system?
T2  - Studies in logic and computation
SN  - 0-19-853859-6
U1  - 511.3 23E
PY  - 1994///
CY  - Oxford, New York
PB  - Clarendon Press, Oxford University Press
KW  - Logic, Symbolic and mathematical
KW  - Computer science
N1  - Notes bibliogr
ER  -