Title: Lógica para computación
Subjects: Logic programming, Propositional calculus, Formal languages, Predicate calculus