Deductions 1.3

Abzüge ist Lernsoftware entwickelt, um Studenten lernen, Beweise in der formalen Logik. Es ist beabsichtigt, von Lehrenden und Studierenden des College-Level-Logik-Kurse in Philosophie, Mathematik und Informatik eingesetzt werden. Es gibt eine...