Elementos de la metalógica y metamatemática - Stahl, Gerold (Contribuciones a la lógica simbólica, 3, 1964)