Deductions 1.3
srážky je vzdělávací software navržen tak, aby se studenti učí důkazy formální logiky. Je určena pro použití instruktory a studenty vysoké školy úrovni logických kurzy filozofie, matematiky a informatiky. To dává okamžitou zpětnou vazbu v každé fázi...