TY  - BOOK
TI  - Handbook of logic in computer science
SN  - 1.98537e+008
U1  - ABR 
PY  - 1992///
CY  - Oxford
PB  -  Calrendon Press
ER  -