TY  - BOOK
AU  - Abramsky, S.
AU  - Gabbay, Dov M. \ Maibaum, T. S. E.
TI  - Handbook of Logic in Computer Science / S. Abramsky
SN  - 0-19-853735-2
AV  - QA76 H339 
U1  - 001.64 A538h 
CY  - U.S.A. : Oxford
KW  - 1. COMPUTADORAS \ 2. LÓGICA SÍMBOLICA Y MATEMÁTICA
N1  - Include Index & References
ER  -