TY  - BOOK
AU  - Gabbay 
TI  - Elementary logics : a procedural perspective 
SN  - 0137263651
U1  - 511.3 GAB 1998 
PY  - 1998///
CY  - London
PB  - Prentice Hall Europe
KW  - Computer science
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index
ER  -