Lógica para Computación (First Semester)

"Lógica para Computación" is a required computer science undergraduate course at the National University of San Luis that provides a broad overview of propositional calculus and first-order logic.