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.
Otros clientes que compraron Lógica simbólica, también compraron:
