Preparación del apunte de Lógica Proposicional para la
materia ``Introducción a la Lógica y la Computación'' del
segundo año de la carrera de Licenciatura en Computación
(2004).
[http://russell.famaf.unc.edu.ar/~ pedro]
[http://hal.famaf.unc.edu.ar/~ sterraf]