Deductions 1.3

Le detrazioni è un software educativo progettato per aiutare gli studenti a imparare prove di logica formale. Esso è destinato a essere utilizzato da docenti e studenti di corsi di logica di livello universitario in filosofia, matematica e informatica....