Deductions 1.3

Avdrag är mjukvara pedagogiskt utformad för att hjälpa elever lära sig bevis på formell logik. Den är avsedd att användas av lärare och studenter i högskolan nivå logiska kurser i filosofi, matematik och datavetenskap. Det ger omedelbar feedback i varje...