Elementos de la metalógica y metamatemática - Stahl, Gerold (Universitaria, 1964)