Title: Elementos de lógica matemática
Subjects: Symbolic and mathematical Logic