Santibañez Merino, Fabio, Demostración de algunas propiedades formales del sistema de lógica sentencial de Jan Lukasiewicz. - 60 hojas. Tesis para optar al Grado Académico de Licenciado en Filosofía.