Deductions 1.3

Fradrag er pedagogisk programvare utviklet for å hjelpe elevene lære bevis på formell logikk. Det er ment å bli brukt av instruktører og studenter av college-nivå logikk kurs i filosofi, matematikk og informatikk. Det gir umiddelbar tilbakemelding på...