Introducción.Lógica de enunciados (cálculo de conectores).Lógica de predicados (cuantificacional).Axiomatización de la lógica.Automatización de la lógica (las bases lógicas de la in formática).Anexo: breve historia de la lógica.
Títulos relacionados con Lógica simbólica:
*Para península. Tiempo estimado para días laborables