MARTÍN RUBIO, FERNANDO / PANIAGUA ARIS, ENRIQUE / SÁNCHEZ GONZÁLEZ, JUAN LUIS
Prólogo. 1. La sintaxis de la Lógica. 2. La semántica de la Lógica. 3. El método axiomático. 4. El método interpretativo. 5. La demostración automática de teoremas. 6. Los Agentes Inteligentes y la Lógica. Bibliografía. Índice analítico.
El presente texto pretende servir de elemento base para la adquisición de los fundamentos, conceptos, componentes y enfoques del componente lógico de dichos sistemas.