Introducción a la lógica simbólica - Stahl, Gerold (Contribuciones a la lógica simbólica, 1968)