GARRIDO, MANUEL
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.