Title: Lógica simbólica
Subjects: Symbolic and mathematical Logic