TY  - BOOK
AU  - Abramsky S Ed.
AU  -  Gabbay D M Ed.
AU  -  Maibaum T S E Ed.
TI  - Handbook of logic in computer science
U1  - D65,8(B)92:(R1), N2.2        RR 
PY  - 1992///
CY  - Oxford
PB  - Clarendon Press        
KW  -  Logic
KW  - Computer Science
ER  -