Deductions 1.3

Aftrekkings is opvoedkundige sagteware ontwerp om studente te help leer bewyse in formele logika. Dit is bedoel om deur instrukteurs en studente van die kollege-vlak logika kursusse in filosofie, wiskunde en rekenaarwetenskap gebruik word. Dit gee...