TY  - BOOK
AU  - Ledesma,Luis de
TI  - Lógica para la computación: teorías de primer orden, resolución y elementos de progración lógica y prolog 
SN  - 9786077854333
U1  - 005.131 L473L 
PY  - 2010///
CY  - México
PB  - Alfaomega Grupo Editor
KW  - Lenguajes de programación de computadores
KW  - ddcri
KW  - Lógica Matemática
KW  - lemb
KW  - Lógica simbólica
KW  - Matematicas
KW  - Programas para computador
KW  - Matemáticas para computación
N1  - Incluye referencias bibliográficas e índice
ER  -