Lógica e Inteligencia Artificial. - Piscoya Hermoza, Luis (EUNED, 1996)