TY  - BOOK
AU  - Gabbay, Dov M.
AU  - Abramsky, S. [Ed.]
AU  - Gabbay, Dov M. [Ed.]
AU  - Maibaum, T. S. E. [Ed.]
TI  - Handbook of logic in computer science
SN  - 0198537816
U1  - 004 
PY  - 2000///
CY  - Oxford
PB  - Clarendon Press
KW  - Computer Science
KW  - Logic, Symbolic And Mathematical
N1  - Contents: V.5. Logic And Algebraic Methods V.2 Background : Computational Structure
ER  -