TY  - BOOK
AU  - Abramsky, Samson,
AU  - Gabbay,Dov M.
AU  - Maibaum, Thomas S. E.,
TI  - Handbook of logic in computer science
AV  - QA76 H339
PY  - 1900///-9999
CY  - Oxford
PB  - Clarendon Press
KW  - Computadoras
KW  - Lógica simbólica y matemática
N1  - Contenido: v. 1. background : mathematical structures -- v. 2. background, computational structures
ER  -