Deductions 1.3
Các khoản khấu trừ là phần mềm giáo dục được thiết kế để giúp học sinh học chứng minh trong logic hình thức. Nó được thiết kế để được sử dụng bởi các giảng viên và sinh viên của các khóa học lý cao đẳng trong triết học, toán học và khoa học máy tính. Nó...