Deductions 1.3
Fradrag er undervisningssoftware designet til at hjælpe eleverne med at lære beviser i den formelle logik. Det er beregnet til at blive brugt af undervisere og studerende på college-niveau logik kurser i filosofi, matematik og datalogi. Det giver...
