Title: Elementos de la metalógica y metamatemática
Subjects: Symbolic and mathematical Logic