De Ledesma, Luis. <br/><br/>
Lógica para la Computación :   Teorías de primer orden, resolución y elementos de programación lógica y PROLOG /  
Luis de Ledesma. 
 - México :   Alfaomega - RaMa 
 - 177 p. 
<br/><br/> Compra realizada en Octubre de 2010. Libreria El Aprendiz.  
<br/><br/>Teorías de primer orden. -- 1.2. El cáculo de tablas analíticas. -- 1.3. Semántica. -- 1.4. Completud, consistencia y decibilidad. -- 1.5. La lógica de proposiciones. -- 2. Resolución. -- 2.1. Reducción a un conjunto de claúsulas. -- 2.2. Unificación. -- 2.3. Resolución y teoría de Herbrand. -- 3. Elementos de programación Lógica y Prolog. -- 3.1. Refinamiento y estrategias de la resolución. -- 3.2. Prolog. 
<br/><br/><label>ISBN: </label>9786076077854333 
<br/><br/><label>LC Class. No.: </label>005.1 D377l 
<br/><br/><label>Dewey Class. No.: </label>005.36  H714s