Introducción a la lógica simbólica - Stahl, Gerold (Universitaria, 1971)