TY  - BOOK
AU  - Lassez, Jean-Louis
AU  - Plotkin, Gordon.
TI  - Computational logic
U1  - 006.3 
PY  - 1991///
CY  - Cambridge, Mass.
PB  - MIT
KW  - Programación lógica
ER  -