Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog - Ledesma, Luis de (México, D. F. : Alfaomega Grupo Editor ; Madrid, España : RA-MA, 2010)
Keywords: LOGICA DE PRIMER ORDEN; LENGUAJES DE PROGRAMACION (COMPUTADORES ELECTRONICOS DIGITALES); PROGRAMACION LOGICA; PROLOG (LENGUAJE DE PROGRAMACION DE COMPUTADORES); LOGICA SIMBOLICA Y MATEMATICA