Deductions 1.3
De aftrek is educatieve software die is ontworpen om studenten te helpen leren bewijzen in de formele logica. Het is bedoeld om te worden gebruikt door docenten en studenten van het college-niveau logica cursussen in de filosofie, wiskunde en informatica....