Fundamentos matemáticos de la lógica formal - Sánchez-Mazas, Miguel (colección temas, 1963)