TY  - BOOK
AU  - Ledesma, Luis De
TI  - Lógica para la Computación: : Teorías de Primer Orden, Resolución y Elementos de Programación Lógica y Prolog 
SN  - 9786077854333
U1  - 004.0151 
PY  - 2010///
CY  - Mexico, D.F.
PB  - Alfaomega
KW  -  LÓGICA-COMPUTACIÓN
KW  - PROGRAMACIÓN LÓGICA
KW  - México, Colombia, Argentina
N1  - Referencias en la pagina 171 - 174 / índice alfabético del 175- 177; Sala especializada / a domicilio
N2  - Con los símbolos y leyes lógicas que nos enseñaran a usar el sentido común y nuestra capacidad de razonar sobre la realidad.
ER  -