Deductions 1.3

Las deducciones es un software educativo diseñado para ayudar a los estudiantes a aprender las pruebas en la lógica formal. Está destinado a ser utilizado por los instructores y alumnos de los cursos de lógica a nivel universitario en filosofía, las...