Deductions 1.3

Pengurangan adalah perangkat lunak pendidikan yang dirancang untuk membantu siswa belajar bukti dalam logika formal. Hal ini dimaksudkan untuk digunakan oleh instruktur dan siswa dari tingkat perguruan tinggi program logika dalam filsafat, matematika dan...