Title: Fundamentos matemáticos de la lógica formal
Subjects: Symbolic and mathematical Logic