Libro4 Branding Educacional
UN SISTEMA DE DEDUCCIÓN NATURAL PARA EL CÁLCULO PROPOSICIONAL Dr. Pedro Arturo Ramos Villegas Dr. Pedro Arturo Ramos Villegas Academia de Filosofía, UACM.